../../../../../../pargo-instances/clique/dimacs/C250.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.03 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 1759 rows, 2009 columns, and 6036 nonzeros.
Reduced MIP has 250 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.01 sec. (2.62 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Tried aggregator 1 time.
Presolve time = 0.01 sec. (2.67 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Clique table members: 1760.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.15 sec. (132.08 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      250.0000     1523     --- 
      0     0       77.6358   249        0.0000       77.6358     1523     --- 
*     0+    0                           40.0000       77.6358     1523   94.09%
      0     0       76.3311   250       40.0000      User: 68     1813   90.83%
      0     0       74.9329   249       40.0000      Cuts: 86     2179   87.33%
      0     0       74.0476   248       40.0000     Cuts: 101     2504   85.12%
      0     0       73.3805   249       40.0000     Cuts: 110     2810   83.45%
      0     0       72.9576   248       40.0000      Cuts: 76     3059   82.39%
*     0+    0                           41.0000       72.9576     3059   77.95%
      0     0       72.2839   248       41.0000      Cuts: 63     3357   76.30%
      0     0       71.9874   250       41.0000      Cuts: 73     3554   75.58%
      0     0       71.6599   250       41.0000      Cuts: 57     3730   74.78%
      0     0       71.4016   250       41.0000      Cuts: 45     3890   74.15%
      0     0       71.1283   250       41.0000      Cuts: 43     4073   73.48%
      0     0       71.0086   249       41.0000      Cuts: 29     4188   73.19%
      0     0       70.8910   251       41.0000      Cuts: 35     4292   72.90%
      0     0       70.7889   250       41.0000      Cuts: 41     4417   72.66%
      0     0       70.7208   251       41.0000      Cuts: 27     4510   72.49%
      0     0       70.5812   251       41.0000      Cuts: 30     4647   72.15%
      0     0       70.4348   251       41.0000      Cuts: 23     4777   71.79%
      0     0       70.2788   250       41.0000      Cuts: 41     4922   71.41%
      0     0       70.2240   249       41.0000      Cuts: 18     4992   71.28%
      0     0       70.0739   251       41.0000      Cuts: 36     5139   70.91%
      0     0       70.0364   251       41.0000      Cuts: 17     5218   70.82%
      0     0       70.0069   251       41.0000      Cuts: 19     5280   70.75%
      0     0       69.9294   251       41.0000      Cuts: 22     5385   70.56%
      0     0       69.8428   251       41.0000 UserPurge2: 8     5472   70.35%
      0     0       69.7885   250       41.0000      Cuts: 17     5550   70.22%
*     0+    0                           42.0000       69.7885     5550   66.16%
*     0+    0                           43.0000       69.7885     5550   62.30%
      0     0       69.7364   251       43.0000      Cuts: 28     5629   62.18%
      0     0       69.7269   251       43.0000      Cuts: 12     5662   62.16%
      0     0       69.7088   250       43.0000 UserPurge2: 7     5716   62.11%
      0     0       69.5944   250       43.0000      Cuts: 15     5841   61.85%
      0     0       69.5668   250       43.0000      Cuts: 13     5899   61.78%
      0     0       69.5574   250       43.0000       Cuts: 9     5940   61.76%
      0     0       69.4966   250       43.0000      Cuts: 14     6051   61.62%
      0     0       69.4743   249       43.0000      Cuts: 13     6106   61.57%
      0     0       69.4471   249       43.0000      Cuts: 11     6180   61.50%
      0     0       69.3532   249       43.0000      Cuts: 17     6291   61.29%
      0     0       69.3168   250       43.0000      Cuts: 10     6352   61.20%
      0     0       69.2461   250       43.0000      Cuts: 19     6493   61.04%
      0     0       69.2124   250       43.0000      Cuts: 17     6568   60.96%
      0     0       69.1976   250       43.0000      Cuts: 10     6616   60.92%
      0     0       69.1898   250       43.0000      Cuts: 10     6653   60.91%
      0     0       69.1872   250       43.0000       Cuts: 5     6682   60.90%
      0     0       69.1702   250       43.0000      Cuts: 10     6740   60.86%
      0     0       69.1499   250       43.0000       Cuts: 9     6811   60.81%
      0     0       69.1240   250       43.0000      Cuts: 14     6885   60.75%
      0     0       69.1149   250       43.0000       Cuts: 7     6924   60.73%
      0     0       69.1050   249       43.0000 UserPurge2: 5     6963   60.71%
      0     0       69.0708   250       43.0000       Cuts: 9     7039   60.63%
      0     0       69.0405   250       43.0000      Cuts: 10     7128   60.56%
      0     0       69.0058   250       43.0000      Cuts: 12     7191   60.48%
      0     0       68.9700   250       43.0000      Cuts: 13     7277   60.40%
      0     0       68.9033   250       43.0000      Cuts: 15     7366   60.24%
      0     0       68.8353   250       43.0000      Cuts: 11     7452   60.08%
*     0+    0                           44.0000       68.8353     7452   56.44%
      0     0       68.8005   250       44.0000      Cuts: 14     7530   56.36%
      0     0       68.7921   250       44.0000       Cuts: 7     7575   56.35%
      0     0       68.7841   250       44.0000       Cuts: 3     7610   56.33%
      0     0       68.7703   251       44.0000       Cuts: 6     7645   56.30%
      0     0       68.7484   250       44.0000 UserPurge2: 12     7688   56.25%
      0     0       68.7316   251       44.0000      Cuts: 11     7736   56.21%
      0     0       68.7046   251       44.0000       Cuts: 8     7801   56.15%
      0     0       68.6879   251       44.0000      Cuts: 15     7865   56.11%
      0     0       68.6471   251       44.0000 UserPurge2: 6     7921   56.02%
      0     0       68.6085   251       44.0000      Cuts: 10     8008   55.93%
      0     0       68.5962   251       44.0000      Cuts: 12     8046   55.90%
      0     0       68.5915   251       44.0000      Cuts: 11     8075   55.89%
      0     0       68.5750   251       44.0000 UserPurge2: 3     8128   55.85%
      0     0       68.5237   251       44.0000       Cuts: 6     8213   55.74%
      0     0       68.5169   251       44.0000      Cuts: 12     8258   55.72%
      0     0       68.5066   251       44.0000 UserPurge2: 5     8296   55.70%
      0     0       68.4822   250       44.0000 UserPurge2: 5     8360   55.64%
      0     0       68.4766   250       44.0000       Cuts: 7     8395   55.63%
      0     0       68.4472   251       44.0000      Cuts: 12     8467   55.56%
      0     0       68.4293   251       44.0000 UserPurge2: 7     8539   55.52%
      0     0       68.4006   251       44.0000 UserPurge2: 8     8593   55.46%
      0     0       68.3902   251       44.0000 UserPurge2: 3     8634   55.43%
      0     0       68.3757   251       44.0000       Cuts: 7     8690   55.40%
      0     0       68.3596   251       44.0000      Cuts: 10     8739   55.36%
      0     0       68.3462   251       44.0000       Cuts: 8     8795   55.33%
      0     0       68.3398   251       44.0000       Cuts: 6     8820   55.32%
      0     0       68.3256   251       44.0000 UserPurge2: 7     8868   55.29%
      0     0       68.3179   251       44.0000 UserPurge2: 5     8906   55.27%
      0     0       68.3157   251       44.0000 UserPurge2: 2     8929   55.26%
      0     0       68.3002   251       44.0000 UserPurge2: 6     8980   55.23%
      0     0       68.2892   251       44.0000       Cuts: 7     9014   55.20%
      0     0       68.2698   251       44.0000 UserPurge2: 2     9063   55.16%
      0     0       68.2531   251       44.0000      Cuts: 10     9118   55.12%
      0     0       68.2451   251       44.0000      Cuts: 10     9153   55.10%
      0     0       68.2422   251       44.0000       Cuts: 7     9171   55.10%
      0     0       68.2221   251       44.0000 UserPurge2: 10     9226   55.05%
      0     0       68.2086   251       44.0000       Cuts: 9     9275   55.02%
      0     0       68.2002   251       44.0000 UserPurge2: 8     9312   55.00%
      0     0       68.1898   251       44.0000       Cuts: 9     9352   54.98%
      0     0       68.1830   251       44.0000 UserPurge2: 10     9386   54.96%
      0     0       68.1773   251       44.0000       Cuts: 4     9419   54.95%
      0     0       68.1725   251       44.0000       Cuts: 9     9444   54.94%
      0     0       68.1713   251       44.0000       Cuts: 5     9462   54.93%
      0     0       68.1618   251       44.0000 UserPurge2: 4     9505   54.91%
      0     0       68.1595   251       44.0000       Cuts: 7     9527   54.91%
      0     0       68.1433   251       44.0000 UserPurge2: 4     9572   54.87%
      0     0       68.1120   251       44.0000 UserPurge2: 11     9652   54.80%
      0     0       68.1027   251       44.0000       Cuts: 7     9695   54.78%
      0     0       68.0799   251       44.0000 UserPurge2: 3     9754   54.73%
      0     0       68.0772   251       44.0000 UserPurge2: 3     9769   54.72%
      0     0       68.0734   251       44.0000 UserPurge2: 2     9793   54.71%
      0     0       68.0605   251       44.0000 UserPurge2: 10     9845   54.68%
      0     0       68.0568   251       44.0000      Cuts: 16     9881   54.67%
      0     0       68.0478   251       44.0000      Cuts: 13     9938   54.65%
      0     0       68.0388   251       44.0000 UserPurge2: 4     9981   54.63%
      0     0       68.0090   251       44.0000 UserPurge2: 8    10056   54.57%
      0     0       67.9873   251       44.0000 UserPurge2: 7    10097   54.52%
      0     0       67.9742   251       44.0000       Cuts: 7    10148   54.49%
      0     0       67.9369   251       44.0000 UserPurge2: 5    10217   54.40%
      0     0       67.9328   251       44.0000       Cuts: 4    10240   54.39%
      0     0       67.9150   251       44.0000 UserPurge2: 6    10293   54.35%
      0     0       67.9056   251       44.0000      Cuts: 11    10331   54.33%
      0     0       67.9038   251       44.0000       Cuts: 7    10347   54.33%
      0     0       67.8970   251       44.0000 UserPurge2: 1    10379   54.31%
      0     0       67.8933   251       44.0000       Cuts: 9    10405   54.30%
      0     0       67.8800   251       44.0000 UserPurge2: 5    10447   54.27%
      0     0       67.8746   251       44.0000 UserPurge2: 10    10482   54.26%
      0     0       67.8668   251       44.0000       Cuts: 7    10528   54.24%
      0     0       67.8632   251       44.0000 UserPurge2: 2    10556   54.23%
      0     0       67.8433   251       44.0000 UserPurge2: 11    10608   54.19%
      0     0       67.8371   251       44.0000 UserPurge2: 3    10630   54.18%
      0     0       67.8008   251       44.0000      Cuts: 10    10713   54.09%
      0     0       67.7899   251       44.0000      Cuts: 14    10757   54.07%
      0     0       67.7837   251       44.0000 UserPurge2: 5    10795   54.05%
      0     0       67.7726   251       44.0000 UserPurge2: 4    10834   54.03%
      0     0       67.7714   251       44.0000       Cuts: 4    10848   54.03%
      0     0       67.7706   251       44.0000 UserPurge2: 1    10861   54.02%
      0     0       67.7653   251       44.0000 UserPurge2: 6    10889   54.01%
      0     0       67.7614   251       44.0000 UserPurge2: 3    10910   54.00%
      0     0       67.7547   251       44.0000 UserPurge2: 8    10930   53.99%
      0     0       67.7483   251       44.0000 UserPurge2: 6    10962   53.97%
      0     0       67.7371   250       44.0000      Cuts: 13    10996   53.95%
      0     0       67.7334   250       44.0000 UserPurge2: 4    11022   53.94%
      0     0       67.7297   251       44.0000 UserPurge2: 2    11047   53.93%
      0     0       67.7243   250       44.0000 UserPurge2: 9    11075   53.92%
      0     0       67.7239   250       44.0000 UserPurge2: 1    11085   53.92%
      0     0       67.7221   251       44.0000 UserPurge2: 5    11103   53.91%
      0     0       67.7208   251       44.0000 UserPurge2: 3    11121   53.91%
      0     0       67.7206   251       44.0000       Cuts: 3    11129   53.91%
      0     0       67.7191   251       44.0000 UserPurge2: 4    11147   53.91%
      0     0       67.7185   251       44.0000 UserPurge2: 6    11162   53.91%
      0     0       67.7114   251       44.0000 UserPurge2: 3    11192   53.89%
      0     2       67.7114   251       44.0000  Local Cut: 1    11192   53.89%                        0             0
Elapsed time = 60.59 sec. (80491.09 ticks, tree = 0.00 MB, solutions = 6)
      1     3       67.4933   250       44.0000       67.7114    12225   53.89%             x78 N      1      0      1
      2     4       67.3775   249       44.0000       67.7114    12749   53.89%            x141 N      2      1      2
      3     5       67.2649   248       44.0000       67.7114    13137   53.89%            x242 N      3      2      3
      4     6       66.9872   247       44.0000       67.7114    13725   53.89%            x160 N      4      3      4
      5     7       66.8910   246       44.0000       67.7114    14134   53.89%            x155 N      5      4      5
      6     8       66.7113   245       44.0000       67.7114    14631   53.89%            x108 N      6      5      6
      7     9       66.4567   244       44.0000       67.7114    15382   53.89%             x26 N      7      6      7
      8    10       66.3097   243       44.0000       67.7114    16002   53.89%            x197 N      8      7      8
      9    11       66.1077   242       44.0000       67.7114    16431   53.89%            x157 N      9      8      9
     10    12       65.9130   241       44.0000       67.7114    17245   53.89%             x81 N     10      9     10
Elapsed time = 78.69 sec. (104776.68 ticks, tree = 0.13 MB, solutions = 6)
     11    13       65.7432   239       44.0000       67.7114    18178   53.89%            x243 N     11     10     11
     12    14       65.5452   239       44.0000       67.7114    18530   53.89%            x177 N     12     11     12
     14    16       65.2964   237       44.0000       67.7114    19437   53.89%            x210 N     14     13     14
     15    17       65.0889   236       44.0000       67.7114    20058   53.89%             x42 N     15     14     15
     16    18       64.9488   234       44.0000       67.7114    20415   53.89%            x193 N     16     15     16
     17    19       64.6845   233       44.0000       67.7114    21015   53.89%            x162 N     17     16     17
     18    20       64.5233   233       44.0000       67.7114    21503   53.89%             x52 N     18     17     18
     19    21       64.3748   232       44.0000       67.7114    22148   53.89%            x220 N     19     18     19
     20    22       64.2171   231       44.0000       67.7114    22870   53.89%             x15 N     20     19     20
     22    24       63.9287   229       44.0000       67.7114    23764   53.89%             x94 N     22     21     22
Elapsed time = 89.61 sec. (119478.68 ticks, tree = 0.19 MB, solutions = 6)
     24    26       63.4534   226       44.0000       67.7114    25018   53.89%            x244 N     24     23     24
     25    27       63.2258   226       44.0000       67.7114    25389   53.89%            x148 N     25     24     25
     26    28       63.0344   225       44.0000       67.7114    26117   53.89%            x129 N     26     25     26
     28    30       62.6982   222       44.0000       67.7114    26733   53.89%            x169 N     28     27     28
     29    31       62.4479   222       44.0000       67.7114    27277   53.89%            x205 N     29     28     29
     30    32       62.2279   220       44.0000       67.7114    27919   53.89%            x142 N     30     29     30
     32    34       61.8956   219       44.0000       67.7114    28675   53.89%             x73 N     32     31     32
     33    35       61.7892   218       44.0000       67.7114    29002   53.89%             x44 N     33     32     33
     34    36       61.5693   217       44.0000       67.7114    29468   53.89%             x47 N     34     33     34
     36    38       61.1094   215       44.0000       67.7114    30251   53.89%            x128 N     36     35     36
Elapsed time = 100.88 sec. (134164.59 ticks, tree = 0.21 MB, solutions = 6)
     37    39       60.8863   214       44.0000       67.7114    30592   53.89%            x186 N     37     36     37
     38    40       60.6487   213       44.0000       67.7114    30979   53.89%            x187 N     38     37     38
     39    41       60.4980   212       44.0000       67.7114    31275   53.89%            x146 N     39     38     39
     40    42       60.3147   211       44.0000       67.7114    31622   53.89%            x223 N     40     39     40
     41    43       60.0894   210       44.0000       67.7114    31951   53.89%            x214 N     41     40     41
     42    44       59.8580   209       44.0000       67.7114    32414   53.89%             x17 N     42     41     42
     43    45       59.5922   208       44.0000       67.7114    32904   53.89%            x174 N     43     42     43
     44    46       59.4219   207       44.0000       67.7114    33302   53.89%            x116 N     44     43     44
     46    48       58.9973   205       44.0000       67.7114    34059   53.89%            x106 N     46     45     46
     47    49       58.6199   204       44.0000       67.7114    34658   53.89%            x212 N     47     46     47
Elapsed time = 110.35 sec. (146897.92 ticks, tree = 0.23 MB, solutions = 6)
     49    51       58.2868   200       44.0000       67.7114    35100   53.89%            x203 N     49     48     49
     50    52       58.1104   201       44.0000       67.7114    35477   53.89%             x64 N     50     49     50
     52    54       57.7879   198       44.0000       67.7114    35987   53.89%             x79 D     52     51     52
     53    55       57.6565   197       44.0000       67.7114    36374   53.89%            x130 N     53     52     53
     54    56       57.5477   195       44.0000       67.7114    36711   53.89%             x34 N     54     53     54
     55    57       57.2533   194       44.0000       67.7114    37126   53.89%              x6 N     55     54     55
     56    58       57.1093   192       44.0000       67.7114    37349   53.89%            x117 N     56     55     56
     58    60       56.7059   191       44.0000       67.7114    37994   53.89%             x40 N     58     57     58
     59    61       56.4989   192       44.0000       67.7114    38344   53.89%             x48 N     59     58     59
     60    62       56.2322   189       44.0000       67.7114    38754   53.89%            x217 N     60     59     60
Elapsed time = 120.33 sec. (160702.06 ticks, tree = 0.35 MB, solutions = 6)
     61    63       55.8935   190       44.0000       67.7114    39017   53.89%            x247 N     61     60     61
     62    64       55.7049   188       44.0000       67.7114    39349   53.89%            x241 N     62     61     62
     63    65       55.4959   187       44.0000       67.7114    39650   53.89%             x22 N     63     62     63
     64    66       55.2773   186       44.0000       67.7114    39985   53.89%             x86 N     64     63     64
     66    68       54.9216   184       44.0000       67.7114    40570   53.89%              x3 N     66     65     66
     68    70       54.4955   181       44.0000       67.7114    41188   53.89%            x152 N     68     67     68
     70    72       54.1123   179       44.0000       67.7114    41716   53.89%             x50 N     70     69     70
     71    73       53.9253   179       44.0000       67.7114    41967   53.89%             x90 N     71     70     71
     72    74       53.7235   178       44.0000       67.7114    42207   53.89%             x12 N     72     71     72
     73    75       53.5082   176       44.0000       67.7114    42466   53.89%            x161 N     73     72     73
Elapsed time = 130.05 sec. (174644.11 ticks, tree = 0.53 MB, solutions = 6)
     74    76       53.2580   175       44.0000       67.7114    42719   53.89%            x219 N     74     73     74
     75    77       53.0471   174       44.0000       67.7114    43066   53.89%            x159 N     75     74     75
     76    78       52.9107   173       44.0000       67.7114    43298   53.89%            x184 N     76     75     76
     77    79       52.7237   173       44.0000       67.7114    43530   53.89%             x59 N     77     76     77
     78    80       52.5286   172       44.0000       67.7114    43800   53.89%            x228 N     78     77     78
     80    82       51.9982   169       44.0000       67.7114    44441   53.89%             x58 N     80     79     80
     81    83       51.7960   168       44.0000       67.7114    44754   53.89%             x21 N     81     80     81
     82    84       51.5692   168       44.0000       67.7114    45015   53.89%             x87 N     82     81     82
     83    85       51.3683   166       44.0000       67.7114    45270   53.89%            x245 N     83     82     83
     84    86       51.2336   165       44.0000       67.7114    45463   53.89%            x103 N     84     83     84
Elapsed time = 139.29 sec. (188420.62 ticks, tree = 0.56 MB, solutions = 6)
     85    87       50.9276   165       44.0000       67.7114    45775   53.89%            x178 N     85     84     85
     86    88       50.7513   164       44.0000       67.7114    45923   53.89%            x179 N     86     85     86
     87    89       50.5951   162       44.0000       67.7114    46142   53.89%              x8 N     87     86     87
     88    90       50.3964   161       44.0000       67.7114    46347   53.89%            x136 N     88     87     88
     90    92       50.0012   160       44.0000       67.7114    46807   53.89%            x102 N     90     89     90
     92    94       49.5340   158       44.0000       67.7114    47284   53.89%            x105 N     92     91     92
     93    95       49.2918   157       44.0000       67.7114    47548   53.89%             x14 N     93     92     93
     94    96       49.0970   156       44.0000       67.7114    47745   53.89%            x119 N     94     93     94
    102   104       47.2990   147       44.0000       67.7114    48966   53.89%            x113 D    102    101    102
    111   113       45.2752   136       44.0000       67.7114    50132   53.89%            x183 D    111    110    111
Elapsed time = 147.95 sec. (201796.50 ticks, tree = 0.73 MB, solutions = 6)
    118   116       62.5042   215       44.0000       67.4933    52271   53.39%            x232 D    118    117      5
    120   118       62.1331   214       44.0000       67.4933    52746   53.39%            x163 D    120    119      7
    128   126       60.7953   204       44.0000       67.4933    54400   53.39%            x205 D    128    127     15
    136   134       59.0114   197       44.0000       67.4933    56127   53.39%            x124 D    136    135     23
    144   142       57.4180   189       44.0000       67.4933    57651   53.39%            x198 D    144    143     31
    152   150       55.9510   181       44.0000       67.4933    59120   53.39%             x49 D    152    151     39
    160   158       54.3000   172       44.0000       67.4933    60191   53.39%            x165 D    160    159     47
    170   168       52.2380   161       44.0000       67.4933    61387   53.39%            x104 D    170    169     57
    180   178       50.3429   153       44.0000       67.4933    62664   53.39%             x96 D    180    179     67
    190   188       48.2263   140       44.0000       67.4933    63653   53.39%            x223 D    190    189     77
Elapsed time = 156.93 sec. (212943.96 ticks, tree = 0.93 MB, solutions = 6)
    200   198       45.6875   129       44.0000       67.4933    64404   53.39%            x105 D    200    199     87
    208   202       63.8561   223       44.0000       67.3775    66675   53.13%            x203 D    208    207      4
    216   210       62.5500   215       44.0000       67.3775    68675   53.13%            x134 D    216    215     12
    224   218       61.4650   206       44.0000       67.3775    70223   53.13%            x176 D    224    223     20
    233   227       59.9135   194       44.0000       67.3775    71348   53.13%             x20 D    233    232     29
    241   235       58.2246   188       44.0000       67.3775    72744   53.13%            x110 D    241    240     37
    249   243       56.5192   179       44.0000       67.3775    74091   53.13%            x143 D    249    248     45
    258   252       54.5209   170       44.0000       67.3775    75555   53.13%              x2 D    258    257     54
    268   262       52.4662   161       44.0000       67.3775    76676   53.13%              x1 D    268    267     64
    303   293       64.3872   222       44.0000       67.2649    81578   52.87%            x242 U    303      2      3
Elapsed time = 166.82 sec. (226138.35 ticks, tree = 1.15 MB, solutions = 6)
    333   323       59.0386   191       44.0000       67.2649    87891   52.87%             x71 D    333    332     33
    366   356       52.2053   157       44.0000       67.2649    92312   52.87%            x162 D    366    365     66
    400   386       64.3427   225       44.0000       66.9872    97466   52.24%            x160 U    400      3      4
    431   417       59.2099   196       44.0000       66.9872   103711   52.24%            x132 D    431    430     35
    464   450       52.8249   159       44.0000       66.9872   108178   52.24%            x131 D    464    463     68
    501   483       61.4172   216       44.0000       66.8910   113461   52.02%            x155 U    501      4      5
    530   512       56.8107   185       44.0000       66.8910   118652   52.02%            x124 D    530    529     34
    564   546       49.4329   151       44.0000       66.8910   122900   52.02%             x56 D    564    563     68
    596   574       61.4198   211       44.0000       66.7113   128425   51.62%             x35 D    596    595     11
    628   606       55.1206   176       44.0000       66.7113   134288   51.62%            x106 D    628    627     43
Elapsed time = 196.34 sec. (265248.95 ticks, tree = 1.75 MB, solutions = 6)
    662   640       47.6920   142       44.0000       66.7113   138806   51.62%             x73 D    662    661     77
    694   668       60.5109   201       44.0000       66.4567   145746   51.04%             x51 D    694    693     26
    720   694       54.9024   175       44.0000       66.4567   150390   51.04%             x38 D    720    719     52
    754   728       47.7858   138       44.0000       66.4567   154282   51.04%             x98 D    754    753     86
    786   756       61.4346   206       44.0000       66.3097   160826   50.70%            x115 D    786    785     22
    812   782       56.3071   178       44.0000       66.3097   165662   50.70%            x211 D    812    811     48
    846   816       49.0502   146       44.0000       66.3097   170018   50.70%             x74 D    846    845     82
    878   844       61.1755   208       44.0000       66.1077   176517   50.24%            x168 D    878    877     19
    906   872       55.6204   178       44.0000       66.1077   182043   50.24%            x241 D    906    905     47
    940   906       48.7111   141       44.0000       66.1077   186101   50.24%            x238 D    940    939     81
Elapsed time = 225.71 sec. (304029.57 ticks, tree = 2.33 MB, solutions = 6)
    972   934       60.6288   206       44.0000       65.9130   192738   49.80%             x69 D    972    971     23
   1003   965       54.6246   173       44.0000       65.9130   199015   49.80%             x88 D   1003   1002     54
   1037   999       46.7361   139       44.0000       65.9130   203517   49.80%             x79 D   1037   1036     88
   1068  1026       58.5244   192       44.0000       65.7432   210527   49.42%            x143 D   1068   1067     30
   1101  1059       51.5656   156       44.0000       65.7432   215787   49.42%             x57 D   1101   1100     63
   1133  1087       61.0096   209       44.0000       65.5452   221487   48.97%             x22 D   1133   1132     13
   1163  1117       54.8279   180       44.0000       65.5452   227582   48.97%             x30 D   1163   1162     43
   1197  1151       47.3132   143       44.0000       65.5452   232008   48.97%             x34 D   1197   1196     77
   1226  1176       59.2328   199       44.0000       65.4290   239442   48.70%            x215 D   1226   1225     30
   1259  1209       52.7220   164       44.0000       65.4290   244657   48.70%             x82 D   1259   1258     63
Elapsed time = 254.53 sec. (342700.90 ticks, tree = 2.89 MB, solutions = 6)
   1294  1244       45.4821   130       44.0000       65.4290   248277   48.70%              x6 D   1294   1293     98
   1324  1270       56.0052   185       44.0000       65.2964   255981   48.40%             x12 D   1324   1323     40
   1359  1305       49.4916   149       44.0000       65.2964   260081   48.40%            x158 D   1359   1358     75
   1391  1333       59.9852   202       44.0000       65.0889   266339   47.93%            x224 D   1391   1390     22
   1422  1364       54.3153   170       44.0000       65.0889   271347   47.93%            x245 D   1422   1421     53
   1458  1400       46.9205   134       44.0000       65.0889   274891   47.93%             x70 D   1458   1457     89
   1488  1426       57.3393   188       44.0000       64.9488   282073   47.61%            x151 D   1488   1487     35
   1522  1460       50.2554   151       44.0000       64.9488   286919   47.61%             x49 D   1522   1521     69
   1554  1488       59.6776   199       44.0000       64.6845   293388   47.01%             x86 D   1554   1553     25
   1586  1520       53.0243   165       44.0000       64.6845   298730   47.01%            x127 D   1586   1585     57
Elapsed time = 283.03 sec. (381494.63 ticks, tree = 3.55 MB, solutions = 6)
   1620  1554       45.2522   129       44.0000       64.6845   302340   47.01%             x83 D   1620   1619     91
   1650  1580       57.2298   188       44.0000       64.5233   310915   46.64%            x168 D   1650   1649     45
   1682  1612       50.3095   155       44.0000       64.5233   316132   46.64%             x91 D   1682   1681     77
   1714  1640       60.1188   207       44.0000       64.3872   321782   46.33%              x8 D   1714   1713     22
   1745  1671       54.4863   176       44.0000       64.3872   327948   46.33%             x77 D   1745   1744     53
   1794  1716       60.8710   200       44.0000       64.3748   335004   46.31%            x237 U   1794    303      4
   1902  1820       54.9782   174       44.0000       64.3427   353040   46.23%             x75 D   1902   1901     51
   2035  1945       60.0463   191       44.0000       64.2171   370076   45.95%             x50 D   2035   2034      6
   2146  2052       51.7554   159       44.0000       64.1176   387592   45.72%            x229 D   2146   2145     64
   2268  2166       57.8257   185       44.0000       64.0483   405040   45.56%            x129 D   2268   2267     21
Elapsed time = 320.99 sec. (420345.74 ticks, tree = 4.91 MB, solutions = 6)
   2376  2270       50.8549   156       44.0000       64.0197   422973   45.50%            x116 D   2376   2375     71
   2500  2386       57.7324   185       44.0000       63.9290   440571   45.29%            x197 D   2500   2499     22
   2630  2512       46.8931   135       44.0000       63.9287   457661   45.29%            x100 D   2630   2629     73
   2733  2607       56.3973   168       44.0000       63.8561   475759   45.13%            x122 D   2733   2732     25
   2848  2718       45.9390   126       44.0000       63.7907   490574   44.98%             x88 D   2848   2847     69
   2976  2838       52.2402   153       44.0000       63.7340   507938   44.85%            x240 D   2976   2975     46
   3107  2961       56.9810   180       44.0000       63.6491   525273   44.66%             x47 D   3107   3106     22
   3211  3061       51.3008   160       44.0000       63.5995   542107   44.54%             x99 D   3211   3210     68
   3339  3181       55.2521   172       44.0000       63.5839   559265   44.51%             x93 D   3339   3338     28
   3468  3302       59.8267   194       44.0000       63.4534   576767   44.21%            x247 D   3468   3467     16
Elapsed time = 366.92 sec. (458657.00 ticks, tree = 7.20 MB, solutions = 6)
   3579  3409       51.5416   158       44.0000       63.4287   594394   44.16%             x32 D   3579   3578     64
   3697  3519       57.7366   185       44.0000       63.3881   612109   44.06%            x244 D   3697   3696     19
   3836  3650       58.7833   189       44.0000       63.3080   629080   43.88%            x226 D   3836   3835     18
   3966  3772       58.8341   192       44.0000       63.2868   647187   43.83%            x136 U   3966    774     11
   4103  3905       45.8063   125       44.0000       63.2612   663892   43.78%            x246 D   4103   4102     77
   4213  4007       51.5070   160       44.0000       63.1517   681801   43.53%             x91 D   4213   4212     61
   4338  4124       54.5128   169       44.0000       63.1173   699476   43.45%            x151 D   4338   4337     36
   4462  4240       57.4178   183       44.0000       63.0579   716861   43.31%            x169 D   4462   4461     24
   4596  4366       58.5644   185       44.0000       63.0344   734817   43.26%            x232 D   4596   4595     19
   4719  4485       47.0755   138       44.0000       63.0323   752389   43.26%            x227 D   4719   4718     85
Elapsed time = 411.90 sec. (497017.20 ticks, tree = 9.66 MB, solutions = 6)
   4847  4605       48.6390   140       44.0000       62.9835   769824   43.14%             x40 D   4847   4846     67
   4975  4725       51.3974   154       44.0000       62.9240   787084   43.01%             x57 D   4975   4974     45
   5111  4853       54.0327   168       44.0000       62.8782   803954   42.91%             x83 D   5111   5110     36
   5245  4979       56.1539   173       44.0000       62.8716   821170   42.89%             x45 D   5245   5244     35
   5372  5098       58.1726   191       44.0000       62.8294   838766   42.79%             x57 D   5372   5371     36
   5493  5215       46.1613   133       44.0000       62.8276   856532   42.79%            x146 D   5493   5492     77
   5611  5325       51.2724   146       44.0000       62.7353   872690   42.58%            x231 D   5611   5610     61
   5739  5445       53.7955   163       44.0000       62.7208   889773   42.55%            x227 D   5739   5738     43
   5863  5561       54.8365   175       44.0000       62.6833   907548   42.46%            x240 D   5863   5862     50
   5992  5682       55.4933   171       44.0000       62.6594   925179   42.41%            x115 D   5992   5991     30
Elapsed time = 456.93 sec. (535325.42 ticks, tree = 12.01 MB, solutions = 6)
   6120  5802       55.8383   173       44.0000       62.6093   942517   42.29%             x67 D   6120   6119     35
   6254  5928       57.0836   176       44.0000       62.5677   959804   42.20%            x117 D   6254   6253     25
   6387  6053       57.0585   183       44.0000       62.5513   977151   42.16%             x97 D   6387   6386     31
   6522  6180       57.7645   182       44.0000       62.5365   994315   42.13%            x110 D   6522   6521     23
   6650  6300       57.5228   184       44.0000       62.4479  1012188   41.93%             x68 D   6650   6649     15
   6775  6417       59.6008   192       44.0000       62.4035  1030623   41.83%             x52 U   6775    681     14
   6890  6528       52.1879   158       44.0000       62.3973  1046819   41.81%            x112 D   6890   6889     50
   7032  6662       49.5303   141       44.0000       62.3863  1063699   41.79%             x15 D   7032   7031     57
   7163  6785       47.4867   132       44.0000       62.3800  1081519   41.77%             x87 D   7163   7162     59
   7275  6889       51.7646   153       44.0000       62.3620  1097800   41.73%            x115 D   7275   7274     51
Elapsed time = 501.73 sec. (573755.22 ticks, tree = 14.42 MB, solutions = 6)
   7411  7017       53.4397   166       44.0000       62.3371  1114538   41.68%            x212 D   7411   7410     46
   7544  7142       54.1355   164       44.0000       62.2802  1132090   41.55%            x230 D   7544   7543     45
   7670  7260       57.2526   184       44.0000       62.2541  1147389   41.49%             x94 D   7670   7669     15
   7807  7389       58.4375   191       44.0000       62.2281  1164655   41.43%             x52 D   7807   7806     20
   7944  7520        cutoff             44.0000       62.2279  1181867   41.43%             x92 D   7944   7943     86
   8057  7627       49.1748   144       44.0000       62.1896  1199466   41.34%            x152 D   8057   8056     60
   8184  7746       51.2499   147       44.0000       62.1579  1216971   41.27%             x29 D   8184   8183     57
   8326  7880       48.8465   140       44.0000       62.1331  1234101   41.21%             x45 D   8326   8325     60
   8451  7997       50.2717   148       44.0000       62.1048  1251616   41.15%             x36 D   8451   8450     54
   8566  8104       52.8700   166       44.0000       62.0866  1269552   41.11%            x123 D   8566   8565     61
Elapsed time = 545.76 sec. (612076.02 ticks, tree = 16.88 MB, solutions = 6)
   8693  8223       53.6947   169       44.0000       62.0644  1287083   41.06%              x5 D   8693   8692     37
   8828  8350       53.4245   164       44.0000       62.0438  1304211   41.01%             x58 D   8828   8827     42
   8959  8473       53.6934   165       44.0000       61.9950  1321481   40.90%            x182 D   8959   8958     42
   9087  8593       53.6571   164       44.0000       61.9833  1338770   40.87%            x180 D   9087   9086     45
   9206  8704       56.8628   178       44.0000       61.9640  1354754   40.83%            x229 D   9206   9205     23
   9348  8838       53.9768   168       44.0000       61.9350  1371790   40.76%              x3 D   9348   9347     28
   9480  8962       56.5711   172       44.0000       61.9262  1388957   40.74%             x65 D   9480   9479     35
   9602  9076       55.3142   176       44.0000       61.8956  1405240   40.67%            x240 D   9602   9601     26
   9722  9188       59.2462   191       44.0000       61.8308  1422916   40.52%             x47 U   9722   1212     17
   9850  9308       59.4604   194       44.0000       61.8212  1440832   40.50%            x104 U   9850   1624     20
Elapsed time = 589.92 sec. (650461.27 ticks, tree = 19.53 MB, solutions = 6)
   9978  9432       45.5081   125       44.0000       61.8131  1458207   40.48%             x38 D   9978   9977     68
  10110  9552       58.6820   195       44.0000       61.7815  1476342   40.41%             x47 U  10110     33     34
  10241  9679       45.1587   120       44.0000       61.7751  1493475   40.40%            x171 D  10241  10240     74
  10371  9797       57.8275   184       44.0000       61.7602  1510902   40.36%            x121 D  10371  10370     23
  10506  9924       57.4420   186       44.0000       61.7388  1528375   40.32%            x185 D  10506  10505     22
  10640 10050       56.6836   179       44.0000       61.7296  1545615   40.29%            x215 D  10640  10639     23
  10772 10174       53.1748   159       44.0000       61.6254  1562780   40.06%            x107 D  10772  10771     38
  10898 10292       53.0966   162       44.0000       61.6230  1580526   40.05%             x50 D  10898  10897     38
  11033 10419       53.9029   164       44.0000       61.6147  1597929   40.03%             x93 D  11033  11032     48
  11172 10550       53.4732   159       44.0000       61.5830  1614794   39.96%            x174 D  11172  11171     39
Elapsed time = 633.89 sec. (688922.60 ticks, tree = 22.04 MB, solutions = 6)
  11298 10668       52.8735   166       44.0000       61.5713  1632078   39.93%             x80 D  11298  11297     47
  11415 10777       55.2945   181       44.0000       61.5627  1650041   39.92%            x224 D  11415  11414     49
  11547 10901       57.1829   178       44.0000       61.5535  1667533   39.89%             x49 D  11547  11546     24
  11688 11034       56.1431   177       44.0000       61.5415  1684996   39.87%            x190 D  11688  11687     35
  11826 11164       56.0273   173       44.0000       61.5079  1702041   39.79%            x132 D  11826  11825     31
  11963 11293       53.6330   157       44.0000       61.4650  1719512   39.69%            x194 D  11963  11962     27
  12102 11424       55.1978   166       44.0000       61.4398  1736279   39.64%            x189 D  12102  12101     38
  12237 11551       53.9717   161       44.0000       61.4315  1754072   39.62%             x58 D  12237  12236     48
  12373 11679       52.5232   157       44.0000       61.4198  1771262   39.59%             x61 D  12373  12372     49
  12503 11801       54.5738   172       44.0000       61.4105  1788930   39.57%            x127 D  12503  12502     27
Elapsed time = 678.08 sec. (727227.21 ticks, tree = 24.60 MB, solutions = 6)
  12646 11936       51.2560   152       44.0000       61.3822  1805905   39.51%             x44 D  12646  12645     57
  12786 12068       49.3971   135       44.0000       61.3572  1822953   39.45%            x117 D  12786  12785     59
  12912 12186       49.2616   148       44.0000       61.3451  1840162   39.42%            x137 D  12912  12911     55
  13028 12294       51.4060   160       44.0000       61.3362  1857876   39.40%            x201 D  13028  13027     65
  13154 12412       49.2487   144       44.0000       61.3210  1875174   39.37%            x119 D  13154  13153     57
  13285 12535       49.9110   142       44.0000       61.3143  1891613   39.35%             x40 D  13285  13284     50
  13420 12662       51.5515   146       44.0000       61.2531  1908505   39.21%            x208 D  13420  13419     57
  13560 12794       47.6379   143       44.0000       61.2392  1925413   39.18%             x27 D  13560  13559     52
  13690 12916       47.2077   136       44.0000       61.2218  1942334   39.14%            x188 D  13690  13689     70
  13828 13042       58.5180   190       44.0000       61.1846  1960082   39.06%            x190 U  13828   1628     24
Elapsed time = 722.05 sec. (765603.80 ticks, tree = 27.12 MB, solutions = 6)
  13955 13161       57.7678   183       44.0000       61.1794  1977912   39.04%            x152 D  13955  13954     27
  14096 13294       54.7529   169       44.0000       61.1646  1995001   39.01%            x165 D  14096  14095     30
  14230 13420       54.3498   167       44.0000       61.1532  2012407   38.98%             x95 D  14230  14229     36
  14360 13542       52.0366   143       44.0000       61.1492  2030106   38.98%            x193 D  14360  14359     44
  14490 13664       53.4748   165       44.0000       61.1420  2047323   38.96%             x65 D  14490  14489     38
  14627 13793       51.0265   146       44.0000       61.1217  2064747   38.91%             x86 D  14627  14626     42
  14777 13935       48.4432   129       44.0000       61.1126  2081470   38.89%            x193 D  14777  14776     62
  14897 14047       47.2315   144       44.0000       61.1078  2099059   38.88%            x211 D  14897  14896     80
  15037 14175       57.7594   182       44.0000       61.0563  2116519   38.76%            x109 D  15037  15036     25
  15166 14296       55.2431   174       44.0000       61.0456  2133964   38.74%             x29 D  15166  15165     32
Elapsed time = 766.06 sec. (803894.29 ticks, tree = 29.66 MB, solutions = 6)
  15302 14424       53.0898   157       44.0000       61.0381  2150902   38.72%            x239 D  15302  15301     46
  15440 14554       49.9207   145       44.0000       61.0096  2168463   38.66%            x161 D  15440  15439     56
  15577 14683       47.8485   131       44.0000       61.0045  2185394   38.65%            x157 D  15577  15576     57
  15694 14792       49.4752   141       44.0000       60.9987  2198572   38.63%            x188 D  15694  15693     44
  15835 14921       58.7366   191       44.0000       60.9767  2216173   38.58%            x164 U  15835   1217     22
  15967 15045       57.7641   183       44.0000       60.9718  2233450   38.57%             x48 D  15967  15966     33
  16100 15170       55.3429   170       44.0000       60.9578  2250535   38.54%             x45 D  16100  16099     33
  16233 15295       56.1071   179       44.0000       60.9361  2267583   38.49%             x25 D  16233  16232     29
  16367 15421       56.3055   170       44.0000       60.9286  2285070   38.47%             x16 D  16367  16366     26
  16494 15540       53.5769   154       44.0000       60.9195  2301861   38.45%              x5 D  16494  16493     32
Elapsed time = 810.36 sec. (842224.22 ticks, tree = 32.16 MB, solutions = 6)
  16628 15666       50.3290   153       44.0000       60.9044  2319502   38.42%            x159 D  16628  16627     44
  16763 15793       48.1017   138       44.0000       60.8942  2336742   38.40%             x53 D  16763  16762     64
  16904 15926       46.2629   124       44.0000       60.8910  2353520   38.39%            x167 D  16904  16903     69
  17038 16048       55.8806   183       44.0000       60.8842  2371044   38.37%            x187 U  17038     37     38
  17170 16172       53.2137   165       44.0000       60.8732  2388532   38.35%             x76 D  17170  17169     43
  17298 16292       52.4089   163       44.0000       60.8710  2405522   38.34%            x109 D  17298  17297     44
  17435 16421       51.5994   151       44.0000       60.8312  2422907   38.25%            x173 D  17435  17434     57
  17573 16551       47.9008   137       44.0000       60.8089  2439855   38.20%             x35 D  17573  17572     68
  17700 16670       49.6854   141       44.0000       60.8028  2455189   38.19%             x28 D  17700  17699     66
  17838 16800       48.3966   139       44.0000       60.7898  2472348   38.16%             x43 D  17838  17837     67
Elapsed time = 854.48 sec. (880566.89 ticks, tree = 35.12 MB, solutions = 6)
  17977 16927       57.9851   186       44.0000       60.7799  2489461   38.14%            x214 U  17977    880     22
  18104 17046       57.1665   182       44.0000       60.7589  2505871   38.09%            x132 U  18104   1302     19
  18238 17172       55.2160   166       44.0000       60.7556  2523010   38.08%             x95 D  18238  18237     25
  18382 17308       51.7859   149       44.0000       60.7453  2539908   38.06%            x105 D  18382  18381     43
  18513 17431       49.8214   139       44.0000       60.7324  2557034   38.03%            x156 D  18513  18512     60
  18654 17564       48.0949   130       44.0000       60.7118  2574624   37.98%            x228 D  18654  18653     65
  18791 17693       45.8037   123       44.0000       60.6927  2592091   37.94%             x14 D  18791  18790     81
  18930 17820       54.7239   168       44.0000       60.6834  2609070   37.92%            x231 D  18930  18929     38
  19069 17951       50.0173   146       44.0000       60.6752  2626134   37.90%            x101 D  19069  19068     57
  19200 18074       50.4694   148       44.0000       60.6573  2643184   37.86%            x186 D  19200  19199     62
Elapsed time = 898.79 sec. (919003.56 ticks, tree = 37.70 MB, solutions = 6)
  19340 18202       56.3662   177       44.0000       60.6498  2660330   37.84%             x69 D  19340  19339     13
  19465 18319       56.0897   185       44.0000       60.6466  2677822   37.83%             x68 D  19465  19464     46
  19593 18439       55.2655   174       44.0000       60.6388  2695394   37.82%            x186 D  19593  19592     32
  19723 18561       53.6359   165       44.0000       60.6288  2712715   37.79%            x130 D  19723  19722     33
  19869 18699       47.5751   126       44.0000       60.6273  2729839   37.79%             x14 D  19869  19868     61
  20000 18818       54.8759   169       44.0000       60.6159  2747721   37.76%             x63 D  20000  19999     13
  20146 18956       50.4482   147       44.0000       60.5862  2765179   37.70%            x135 D  20146  20145     48
  20288 19086       57.5180   177       44.0000       60.5621  2782530   37.64%             x54 U  20288   3465     14
  20432 19222       53.3757   164       44.0000       60.5509  2799696   37.62%            x240 D  20432  20431     42
  20573 19355       48.2428   141       44.0000       60.5248  2816777   37.56%            x165 D  20573  20572     65
Elapsed time = 943.39 sec. (957755.00 ticks, tree = 40.29 MB, solutions = 6)
  20715 19485       58.0367   191       44.0000       60.5109  2833814   37.52%            x152 D  20715  20714     30
  20840 19602       55.2722   170       44.0000       60.5032  2850423   37.51%            x208 D  20840  20839     28
  20981 19735       50.3102   138       44.0000       60.4980  2867408   37.50%             x64 D  20981  20980     36
  21108 19854       48.2686   134       44.0000       60.4961  2884572   37.49%             x23 D  21108  21107     46
  21249 19983       55.6259   177       44.0000       60.4831  2901530   37.46%            x224 D  21249  21248     28
  21379 20105       55.5186   172       44.0000       60.4806  2919175   37.46%            x235 D  21379  21378     35
  21515 20233       52.7685   155       44.0000       60.4605  2936227   37.41%            x215 D  21515  21514     48
  21654 20364       48.2698   139       44.0000       60.4542  2953180   37.40%            x188 D  21654  21653     56
  21794 20492       56.7119   178       44.0000       60.4205  2970313   37.32%            x189 D  21794  21793     20
  21936 20626       52.3882   145       44.0000       60.4164  2987415   37.31%             x13 D  21936  21935     42
Elapsed time = 987.23 sec. (996071.11 ticks, tree = 42.87 MB, solutions = 6)
  22069 20751       48.3192   136       44.0000       60.4111  3003855   37.30%            x114 D  22069  22068     54
  22208 20878       55.2758   173       44.0000       60.3934  3021455   37.26%            x215 D  22208  22207     33
  22344 21006       52.1065   162       44.0000       60.3803  3038708   37.23%              x8 D  22344  22343     34
  22480 21134       50.1656   145       44.0000       60.3688  3055271   37.20%            x196 D  22480  22479     47
  22632 21274       56.3575   167       44.0000       60.3453  3072144   37.15%            x224 D  22632  22631     13
  22788 21422       46.0971   127       44.0000       60.3387  3088641   37.13%            x134 D  22788  22787     54
  22930 21552       52.2171   155       44.0000       60.3171  3105663   37.08%             x58 D  22930  22929     56
  23067 21681       50.8970   144       44.0000       60.3150  3122791   37.08%            x158 D  23067  23066     42
  23186 21792       49.9585   152       44.0000       60.3127  3140485   37.07%             x87 D  23186  23185     73
  23322 21920       49.0419   134       44.0000       60.3068  3157152   37.06%            x228 D  23322  23321     57
Elapsed time = 1030.93 sec. (1034371.13 ticks, tree = 45.49 MB, solutions = 6)
  23452 22038       56.9353   173       44.0000       60.2989  3174962   37.04%            x127 U  23452   3466     15
  23586 22164       54.5004   168       44.0000       60.2856  3192281   37.01%            x105 D  23586  23585     47
  23726 22296       47.9487   131       44.0000       60.2848  3208099   37.01%            x108 D  23726  23725     51
  23869 22427       55.1539   168       44.0000       60.2757  3225175   36.99%            x187 D  23869  23868     34
  24003 22553       51.0051   136       44.0000       60.2718  3241593   36.98%             x34 D  24003  24002     41
  24142 22680       57.7059   182       44.0000       60.2468  3259801   36.92%             x26 U  24142    131     19
  24275 22805       52.4353   157       44.0000       60.2127  3277184   36.85%             x89 D  24275  24274     41
  24415 22937       45.4086   128       44.0000       60.2061  3294508   36.83%            x125 D  24415  24414     77
  24552 23062       53.5633   162       44.0000       60.1968  3311727   36.81%             x43 D  24552  24551     41
  24700 23202       48.5562   138       44.0000       60.1797  3328734   36.77%            x234 D  24700  24699     67
Elapsed time = 1074.94 sec. (1072712.49 ticks, tree = 48.08 MB, solutions = 6)
  24848 23338       52.4454   150       44.0000       60.1741  3345765   36.76%            x174 D  24848  24847     53
  24995 23473       56.2691   166       44.0000       60.1628  3362687   36.73%             x56 D  24995  24994     19
  25137 23607       51.2672   157       44.0000       60.1599  3379891   36.73%            x206 D  25137  25136     48
  25276 23738       46.9346   130       44.0000       60.1502  3396803   36.71%             x61 D  25276  25275     71
  25423 23873       53.1640   157       44.0000       60.1364  3413783   36.67%             x62 D  25423  25422     33
  25572 24010       56.4160   178       44.0000       60.1270  3430863   36.65%            x178 U  25572   1959      6
  25712 24142       52.7969   157       44.0000       60.1179  3447289   36.63%            x142 D  25712  25711     43
  25855 24277       47.3357   136       44.0000       60.1028  3464426   36.60%            x101 D  25855  25854     70
  25978 24392       46.0722   135       44.0000       60.0888  3481792   36.57%             x61 D  25978  25977     91
  26100 24506       45.5984   128       44.0000       60.0863  3497692   36.56%            x180 D  26100  26099     78
Elapsed time = 1118.75 sec. (1111043.74 ticks, tree = 50.70 MB, solutions = 6)
  26247 24641       55.2124   169       44.0000       60.0790  3514350   36.54%            x245 D  26247  26246     21
  26397 24783       45.9990   130       44.0000       60.0743  3531065   36.53%            x204 D  26397  26396     71
  26527 24901       54.9878   163       44.0000       60.0678  3548730   36.52%              x0 D  26527  26526     25
  26673 25039       51.0344   153       44.0000       60.0622  3565476   36.51%            x165 D  26673  26672     46
  26825 25179       56.8849   176       44.0000       60.0534  3582449   36.49%             x42 U  26825   2488     11
  26968 25314       51.4085   144       44.0000       60.0424  3599818   36.46%             x30 D  26968  26967     35
  27111 25445       56.5420   179       44.0000       60.0366  3617658   36.45%            x210 U  27111    975     27
  27256 25582       49.7075   136       44.0000       60.0274  3634564   36.43%            x150 D  27256  27255     38
  27395 25709       58.2727   182       44.0000       60.0033  3652324   36.37%             x51 D  27395  27394     18
  27538 25844       51.1006   144       44.0000       59.9892  3669244   36.34%            x182 D  27538  27537     39
Elapsed time = 1162.63 sec. (1149523.76 ticks, tree = 53.40 MB, solutions = 6)
  27679 25973       57.5657   181       44.0000       59.9789  3685920   36.32%            x118 D  27679  27678     25
  27816 26102       53.1816   157       44.0000       59.9749  3703038   36.31%            x232 D  27816  27815     34
  27964 26242       47.2076   132       44.0000       59.9665  3720128   36.29%            x171 D  27964  27963     67
  28105 26371       56.4253   176       44.0000       59.9610  3736402   36.27%             x84 D  28105  28104     18
  28247 26505       51.4701   146       44.0000       59.9575  3753363   36.27%            x115 D  28247  28246     40
  28390 26636       57.3711   181       44.0000       59.9551  3770029   36.26%             x17 D  28390  28389     25
  28515 26753       55.8041   170       44.0000       59.9485  3786361   36.25%             x53 D  28515  28514     20
  28656 26886       50.7910   147       44.0000       59.9410  3803338   36.23%            x200 D  28656  28655     37
  28800 27018       53.9726   156       44.0000       59.9328  3820342   36.21%             x60 D  28800  28799     20
  28954 27160       55.6026   170       44.0000       59.9204  3837347   36.18%            x168 D  28954  28953     20
Elapsed time = 1206.83 sec. (1188147.22 ticks, tree = 56.04 MB, solutions = 6)
  29099 27297       47.8548   139       44.0000       59.9159  3854213   36.17%            x209 D  29099  29098     63
  29242 27428       55.7928   168       44.0000       59.9094  3870770   36.16%            x199 D  29242  29241     24
  29380 27558       49.7591   140       44.0000       59.8939  3887958   36.12%             x28 D  29380  29379     43
  29527 27693       55.1542   165       44.0000       59.8832  3904616   36.10%            x162 D  29527  29526     25
  29668 27826       46.6832   133       44.0000       59.8792  3921914   36.09%            x235 D  29668  29667     61
  29816 27962       51.1196   150       44.0000       59.8744  3938945   36.08%            x136 D  29816  29815     41
  29956 28094       45.3806   126       44.0000       59.8708  3955957   36.07%             x68 D  29956  29955     82
  30084 28210       53.3255   172       44.0000       59.8555  3973835   36.04%            x217 D  30084  30083     54
  30218 28336       47.5179   134       44.0000       59.8473  3990540   36.02%             x23 D  30218  30217     66
  30364 28470       54.8111   164       44.0000       59.8267  4007772   35.97%            x109 D  30364  30363     30
Elapsed time = 1250.74 sec. (1226469.86 ticks, tree = 58.67 MB, solutions = 6)
  30510 28604       56.5750   174       44.0000       59.8125  4025371   35.94%             x96 D  30510  30509     39
  30654 28740       49.0525   135       44.0000       59.8110  4042314   35.93%            x137 D  30654  30653     41
  30800 28874       54.8075   169       44.0000       59.8080  4058931   35.93%             x11 D  30800  30799     34
  30947 29013       47.8636   135       44.0000       59.7989  4075616   35.91%            x112 D  30947  30946     56
  31090 29144       53.9028   162       44.0000       59.7901  4093117   35.89%            x134 D  31090  31089     21
  31225 29271       50.5981   142       44.0000       59.7860  4108218   35.88%             x93 D  31225  31224     46
  31367 29401       56.2292   174       44.0000       59.7746  4125326   35.85%             x72 D  31367  31366     26
  31509 29535       49.5928   137       44.0000       59.7702  4142397   35.84%            x188 D  31509  31508     53
  31646 29664       46.2227   122       44.0000       59.7664  4158670   35.83%            x216 D  31646  31645     65
  31788 29794       50.9621   152       44.0000       59.7560  4175589   35.81%            x214 D  31788  31787     48
Elapsed time = 1295.27 sec. (1265020.82 ticks, tree = 61.36 MB, solutions = 6)
  31929 29923       55.8823   172       44.0000       59.7385  4192748   35.77%             x15 U  31929    329     30
  32061 30047       50.6725   144       44.0000       59.7200  4209232   35.73%            x174 D  32061  32060     37
  32210 30184       54.8621   173       44.0000       59.7140  4226235   35.71%            x164 D  32210  32209     32
  32352 30318       47.4270   129       44.0000       59.7110  4243200   35.71%             x87 D  32352  32351     68
  32492 30446       50.7233   147       44.0000       59.7080  4260395   35.70%              x4 D  32492  32491     37
  32628 30574       45.8954   132       44.0000       59.7038  4277867   35.69%            x217 D  32628  32627     81
  32776 30710       49.9242   147       44.0000       59.7003  4294931   35.68%            x104 D  32776  32775     40
  32928 30850       54.9755   163       44.0000       59.6953  4311745   35.67%             x53 D  32928  32927     28
  33087 31001       45.0062   118       44.0000       59.6881  4328013   35.65%             x62 D  33087  33086     73
  33228 31130       52.8008   158       44.0000       59.6803  4344604   35.64%             x43 D  33228  33227     35
Elapsed time = 1339.23 sec. (1303327.02 ticks, tree = 64.04 MB, solutions = 6)
  33385 31275       57.2240   174       44.0000       59.6757  4361116   35.63%             x47 U  33385   9193     11
  33522 31404       50.5931   144       44.0000       59.6606  4378262   35.59%            x137 D  33522  33521     36
  33664 31534       54.0633   168       44.0000       59.6556  4395661   35.58%            x247 D  33664  33663     39
  33820 31682       46.0175   128       44.0000       59.6509  4411862   35.57%             x26 D  33820  33819     63
  33967 31817       51.1504   149       44.0000       59.6373  4428688   35.54%            x181 D  33967  33966     40
  34119 31957       57.0691   174       44.0000       59.6298  4444923   35.52%            x213 U  34119   4453     16
  34271 32101       48.8811   127       44.0000       59.6249  4461589   35.51%            x205 D  34271  34270     47
  34416 32234       54.1395   166       44.0000       59.6134  4478916   35.49%             x57 D  34416  34415     25
  34562 32368       56.2683   173       44.0000       59.6008  4496971   35.46%            x100 U  34562   1962      9
  34713 32511       47.0976   123       44.0000       59.5996  4513608   35.45%             x93 D  34713  34712     61
Elapsed time = 1382.79 sec. (1341851.44 ticks, tree = 66.81 MB, solutions = 6)
  34837 32623       56.7791   172       44.0000       59.5936  4528712   35.44%             x14 U  34837   4520      3
  34970 32748       51.8223   161       44.0000       59.5917  4545862   35.44%            x103 D  34970  34969     67
  35126 32892       55.2153   175       44.0000       59.5828  4562747   35.42%            x232 U  35126   1637     33
  35260 33018       51.1303   155       44.0000       59.5805  4579772   35.41%             x50 D  35260  35259     52
  35413 33159       56.0588   178       44.0000       59.5783  4597222   35.41%             x27 U  35413   1394     26
  35558 33296       49.5639   138       44.0000       59.5694  4614452   35.39%            x164 D  35558  35557     51
  35704 33430       52.2406   157       44.0000       59.5490  4631450   35.34%             x91 D  35704  35703     42
  35844 33562       45.6601   127       44.0000       59.5440  4648350   35.33%             x73 D  35844  35843     78
  35996 33702       47.3636   130       44.0000       59.5290  4665167   35.29%            x100 D  35996  35995     58
  36141 33835       52.8995   150       44.0000       59.5203  4682538   35.27%             x62 D  36141  36140     34
Elapsed time = 1426.99 sec. (1380342.43 ticks, tree = 70.30 MB, solutions = 6)
  36297 33979       56.3102   171       44.0000       59.5099  4699439   35.25%             x69 U  36297   6169     13
  36443 34117       47.3245   135       44.0000       59.4996  4716550   35.23%            x200 D  36443  36442     64
  36598 34260       46.6667   116       44.0000       59.4940  4733231   35.21%             x42 D  36598  36597     55
  36742 34392       50.7981   150       44.0000       59.4875  4751255   35.20%            x130 D  36742  36741     60
  36877 34515       56.4654   177       44.0000       59.4810  4768316   35.18%            x152 D  36877  36876     31
  37020 34650       50.2679   146       44.0000       59.4745  4785885   35.17%             x17 D  37020  37019     65
  37163 34781       53.9011   168       44.0000       59.4707  4803000   35.16%            x246 D  37163  37162     37
  37306 34916       48.8536   137       44.0000       59.4692  4819381   35.16%            x241 D  37306  37305     69
  37451 35049       52.1494   154       44.0000       59.4637  4836378   35.14%            x119 D  37451  37450     29
  37600 35186       55.4875   168       44.0000       59.4608  4853189   35.14%            x152 D  37600  37599     26
Elapsed time = 1470.95 sec. (1418862.29 ticks, tree = 73.03 MB, solutions = 6)
  37758 35336       45.1548   118       44.0000       59.4551  4869801   35.13%             x77 D  37758  37757     72
  37892 35458       52.8182   163       44.0000       59.4438  4887602   35.10%             x57 D  37892  37891     44
  38039 35597       45.8421   127       44.0000       59.4432  4904588   35.10%             x21 D  38039  38038     67
  38193 35739       49.8846   136       44.0000       59.4355  4921453   35.08%             x66 D  38193  38192     55
  38337 35871       52.9161   159       44.0000       59.4303  4938673   35.07%             x24 D  38337  38336     43
  38480 36006       46.6447   120       44.0000       59.4266  4955299   35.06%             x98 D  38480  38479     59
  38629 36143       49.3447   140       44.0000       59.4219  4972270   35.05%            x193 D  38629  38628     37
  38760 36266       45.3421   123       44.0000       59.4189  4990148   35.04%            x195 D  38760  38759     70
  38900 36394       50.6646   150       44.0000       59.4100  5007087   35.02%            x165 D  38900  38899     58
  39041 36523       53.9535   157       44.0000       59.4023  5024189   35.01%             x56 D  39041  39040     28
Elapsed time = 1514.85 sec. (1457169.03 ticks, tree = 75.72 MB, solutions = 6)
  39182 36656       48.8887   130       44.0000       59.4017  5041939   35.00%            x212 D  39182  39181     51
  39323 36785       54.8865   159       44.0000       59.3985  5059042   35.00%            x210 D  39323  39322     31
  39454 36908       50.0053   132       44.0000       59.3966  5077153   34.99%             x44 D  39454  39453     44
  39594 37036       53.6542   159       44.0000       59.3812  5094407   34.96%            x144 D  39594  39593     19
  39743 37177       46.1045   127       44.0000       59.3780  5111533   34.95%            x117 D  39743  39742     80
  39874 37296       49.6830   145       44.0000       59.3717  5129037   34.94%            x125 D  39874  39873     57
  40012 37422       55.4004   168       44.0000       59.3594  5146058   34.91%            x120 D  40012  40011     18
  40156 37558       45.2500   103       44.0000       59.3531  5163047   34.89%             x62 D  40156  40155     60
  40302 37692       48.5027   125       44.0000       59.3378  5180300   34.86%            x150 D  40302  40301     50
  40442 37820       53.6280   159       44.0000       59.3269  5196104   34.83%             x74 D  40442  40441     39
Elapsed time = 1557.06 sec. (1495440.73 ticks, tree = 78.36 MB, solutions = 6)
  40594 37960       56.5160   167       44.0000       59.3085  5212958   34.79%            x107 D  40594  40593     19
  40746 38104       48.3673   128       44.0000       59.3043  5230177   34.78%            x218 D  40746  40745     62
  40890 38236       52.4839   156       44.0000       59.2970  5247399   34.77%            x197 D  40890  40889     35
  41034 38372       45.1238   126       44.0000       59.2909  5264241   34.75%             x36 D  41034  41033     81
  41165 38491       54.2052   170       44.0000       59.2887  5282013   34.75%            x229 D  41165  41164     47
  41302 38620       48.1549   138       44.0000       59.2865  5299224   34.74%            x241 D  41302  41301     71
  41445 38751       51.7712   149       44.0000       59.2801  5316628   34.73%            x230 D  41445  41444     41
  41594 38888       56.4956   173       44.0000       59.2787  5333752   34.72%             x54 D  41594  41593     14
  41708 38994       55.2500   165       44.0000       59.2745  5349353   34.71%            x131 D  41708  41707     43
  41866 39140       57.3331   179       44.0000       59.2687  5365720   34.70%            x144 U  41866   2861     17
Elapsed time = 1600.69 sec. (1533757.40 ticks, tree = 81.09 MB, solutions = 6)
  42000 39266       54.2296   164       44.0000       59.2611  5380912   34.68%             x38 D  42000  41999     30
  42153 39407       55.2950   171       44.0000       59.2544  5398271   34.67%            x163 U  42153   1556     28
  42305 39551       47.9383   134       44.0000       59.2519  5414860   34.66%             x15 D  42305  42304     48
  42452 39686       50.3430   138       44.0000       59.2440  5431638   34.65%            x174 D  42452  42451     46
  42596 39818       55.5780   182       44.0000       59.2385  5448778   34.63%            x114 D  42596  42595     47
  42730 39944       50.9306   145       44.0000       59.2352  5466170   34.63%             x30 D  42730  42729     45
  42874 40076       53.4849   168       44.0000       59.2280  5483455   34.61%            x249 D  42874  42873     44
  43026 40216       56.0458   164       44.0000       59.2220  5500657   34.60%            x135 U  43026  12010     23
  43163 40345       48.2216   139       44.0000       59.2204  5517940   34.59%             x25 D  43163  43162     67
  43310 40480       52.3892   156       44.0000       59.2186  5534924   34.59%             x75 D  43310  43309     44
Elapsed time = 1643.54 sec. (1572252.61 ticks, tree = 83.81 MB, solutions = 6)
  43453 40615       45.1872   122       44.0000       59.2170  5551768   34.58%             x91 D  43453  43452     67
  43602 40752       48.2320   123       44.0000       59.2116  5568383   34.57%             x68 D  43602  43601     53
  43760 40898       48.4319   132       44.0000       59.2091  5584696   34.57%            x161 D  43760  43759     73
  43912 41038       49.8076   144       44.0000       59.2010  5601605   34.55%             x54 D  43912  43911     48
  44056 41170       52.1834   159       44.0000       59.1979  5617791   34.54%            x165 D  44056  44055     51
  44206 41308       53.9516   168       44.0000       59.1946  5634818   34.53%            x135 D  44206  44205     24
  44358 41448       54.8538   163       44.0000       59.1883  5651632   34.52%             x48 D  44358  44357     10
  44511 41589       56.2831   174       44.0000       59.1864  5668911   34.51%            x240 D  44511  44510     17
  44662 41732       46.2387   127       44.0000       59.1802  5685865   34.50%             x86 D  44662  44661     62
  44810 41868       50.7701   141       44.0000       59.1774  5702925   34.49%            x235 D  44810  44809     52
Elapsed time = 1687.05 sec. (1610547.08 ticks, tree = 86.62 MB, solutions = 6)
  44955 42001       51.6504   151       44.0000       59.1738  5720251   34.49%             x74 D  44955  44954     36
  45107 42141       55.5130   169       44.0000       59.1657  5737089   34.47%             x42 D  45107  45106     28
  45262 42284       56.3491   164       44.0000       59.1578  5753638   34.45%            x238 D  45262  45261     17
  45420 42434       46.7895   109       44.0000       59.1495  5770238   34.43%             x97 D  45420  45419     61
  45550 42552       51.9783   150       44.0000       59.1436  5787866   34.42%             x48 D  45550  45549     40
  45701 42691       51.5630   150       44.0000       59.1367  5805185   34.40%            x185 D  45701  45700     37
  45846 42824       54.6035   163       44.0000       59.1357  5821878   34.40%            x162 D  45846  45845     26
  46000 42966       55.3595   174       44.0000       59.1125  5838954   34.35%              x4 U  46000   2335     31
  46152 43106       56.5817   173       44.0000       59.1060  5856464   34.33%             x94 U  46152   2493     16
  46294 43240       47.5044   124       44.0000       59.1048  5874007   34.33%            x199 D  46294  46293     69
Elapsed time = 1729.94 sec. (1649136.03 ticks, tree = 89.48 MB, solutions = 6)
  46444 43378       48.8791   144       44.0000       59.0946  5890104   34.31%            x245 D  46444  46443     58
  46606 43528       50.0035   146       44.0000       59.0922  5900727   34.30%            x221 D  46606  46605     47
  46766 43676       49.9089   143       44.0000       59.0833  5911671   34.28%             x51 D  46766  46765     41
  46926 43824       49.0185   138       44.0000       59.0767  5922135   34.27%             x74 D  46926  46925     66
  47089 43975       46.3211   125       44.0000       59.0706  5932959   34.25%            x178 D  47089  47088     47
  47249 44123       48.0027   134       44.0000       59.0685  5943767   34.25%            x198 D  47249  47248     52
  47409 44271       50.8365   146       44.0000       59.0632  5954591   34.23%            x170 D  47409  47408     43
  47576 44426       51.1461   145       44.0000       59.0606  5965087   34.23%            x210 D  47576  47575     40
  47734 44572       53.2139   152       44.0000       59.0561  5975938   34.22%            x142 D  47734  47733     29
  47889 44715       53.2107   167       44.0000       59.0533  5986904   34.21%            x117 D  47889  47888     47
Elapsed time = 1767.39 sec. (1687397.63 ticks, tree = 142.03 MB, solutions = 6)
Nodefile size = 14.76 MB (7.58 MB after compression)
  48054 44868       54.8565   159       44.0000       59.0480  5997350   34.20%            x130 D  48054  48053     17
  48218 45020       54.8959   169       44.0000       59.0470  6008200   34.20%             x54 D  48218  48217     19
  48380 45170       56.5451   183       44.0000       59.0395  6019095   34.18%            x132 D  48380  48379     22
  48540 45318       54.5621   166       44.0000       59.0349  6030051   34.17%            x215 U  48540   6778     18
  48694 45460       55.0154   175       44.0000       59.0321  6041429   34.16%             x76 D  48694  48693     36
  48835 45593       47.6551   136       44.0000       59.0229  6052007   34.14%            x206 D  48835  48834     59
  48994 45740       48.6544   132       44.0000       59.0207  6062789   34.14%            x126 D  48994  48993     47
  49155 45889       48.2703   141       44.0000       59.0121  6073627   34.12%              x2 D  49155  49154     58
  49306 46028       49.3380   145       44.0000       59.0064  6084535   34.11%            x228 D  49306  49305     57
  49450 46160       53.4720   155       44.0000       58.9951  6095865   34.08%            x181 D  49450  49449     29
Elapsed time = 1806.77 sec. (1725712.77 ticks, tree = 197.68 MB, solutions = 6)
Nodefile size = 69.93 MB (42.16 MB after compression)
  49600 46298       55.3373   171       44.0000       58.9877  6106335   34.06%            x189 D  49600  49599     27
  49765 46451       54.9231   161       44.0000       58.9865  6117247   34.06%             x68 D  49765  49764     20
  49924 46598       53.8079   163       44.0000       58.9857  6127948   34.06%            x167 D  49924  49923     40
  50079 46741       53.2897   162       44.0000       58.9833  6138791   34.05%             x86 D  50079  50078     43
  50239 46889       51.1156   145       44.0000       58.9822  6149791   34.05%             x40 D  50239  50238     32
  50392 47030       49.7668   144       44.0000       58.9735  6161248   34.03%            x109 D  50392  50391     59
  50544 47170       52.2859   152       44.0000       58.9695  6171823   34.02%            x220 D  50544  50543     37
  50709 47323       47.3377   128       44.0000       58.9661  6182535   34.01%            x152 D  50709  50708     58
  50867 47469       46.4227   124       44.0000       58.9576  6193264   33.99%            x240 D  50867  50866     61
  51027 47617       45.5494   122       44.0000       58.9519  6203946   33.98%            x227 D  51027  51026     51
Elapsed time = 1845.77 sec. (1763979.30 ticks, tree = 250.62 MB, solutions = 6)
Nodefile size = 123.54 MB (80.72 MB after compression)
  51172 47750       49.8542   138       44.0000       58.9491  6215143   33.98%             x69 D  51172  51171     33
  51339 47905       46.8804   128       44.0000       58.9482  6225777   33.97%            x109 D  51339  51338     59
  51498 48048       56.3848   175       44.0000       58.9382  6236959   33.95%            x203 U  51498   5087     13
  51649 48191       48.8119   137       44.0000       58.9373  6247486   33.95%             x34 D  51649  51648     59
  51811 48341       45.5910   129       44.0000       58.9357  6258077   33.94%            x167 D  51811  51810     59
  51957 48475       50.1095   153       44.0000       58.9345  6269526   33.94%            x204 D  51957  51956     49
  52104 48610       54.0447   168       44.0000       58.9304  6279763   33.93%            x144 D  52104  52103     47
  52256 48750       54.8586   165       44.0000       58.9253  6290595   33.92%            x180 D  52256  52255     23
  52415 48897       55.2617   165       44.0000       58.9196  6301152   33.91%            x160 D  52415  52414     27
  52570 49040       54.2237   163       44.0000       58.9089  6312123   33.88%            x190 D  52570  52569     12
Elapsed time = 1884.72 sec. (1802283.44 ticks, tree = 305.03 MB, solutions = 6)
Nodefile size = 177.27 MB (121.49 MB after compression)
  52734 49192       54.1264   159       44.0000       58.9024  6322839   33.87%            x135 D  52734  52733     25
  52890 49336       55.7778   167       44.0000       58.8966  6333294   33.86%            x167 D  52890  52889     27
  53047 49481       55.4331   170       44.0000       58.8942  6344475   33.85%            x117 D  53047  53046     24
  53197 49623       45.6504   129       44.0000       58.8922  6355316   33.85%             x48 D  53197  53196     79
  53362 49772       56.1487   178       44.0000       58.8793  6365983   33.82%            x190 U  53362   5368     33
  53528 49926       55.6721   170       44.0000       58.8725  6377000   33.80%             x72 U  53528  11471     15
  53685 50071       55.8060   172       44.0000       58.8659  6387859   33.79%             x34 D  53685  53684     18
  53848 50222       56.4561   172       44.0000       58.8606  6398487   33.77%             x28 U  53848   6779     19
  54000 50362       56.3858   175       44.0000       58.8578  6408639   33.77%             x50 U  54000  11674     22
  54160 50510       54.9944   159       44.0000       58.8565  6419437   33.76%            x105 D  54160  54159     18
Elapsed time = 1923.92 sec. (1840659.97 ticks, tree = 359.24 MB, solutions = 6)
Nodefile size = 231.78 MB (163.85 MB after compression)
  54321 50659       54.6287   165       44.0000       58.8473  6430083   33.74%             x70 D  54321  54320     23
  54486 50810       52.9551   157       44.0000       58.8465  6440582   33.74%             x50 D  54486  54485     26
  54643 50955       52.4588   151       44.0000       58.8425  6451474   33.73%            x233 D  54643  54642     45
  54804 51104       46.7914   128       44.0000       58.8341  6462232   33.71%             x34 D  54804  54803     57
  54970 51258       46.6735   125       44.0000       58.8305  6472840   33.71%             x25 D  54970  54969     65
  55130 51406       46.5935   125       44.0000       58.8268  6483664   33.70%            x234 D  55130  55129     57
  55281 51545       45.4391   124       44.0000       58.8224  6494138   33.69%            x147 D  55281  55280     85
  55438 51690       47.7778   128       44.0000       58.8136  6505105   33.67%            x115 D  55438  55437     73
  55607 51843       55.7870   165       44.0000       58.8123  6516101   33.66%             x45 U  55607   4251     17
  55772 51996       56.1183   170       44.0000       58.8083  6526897   33.66%            x127 D  55772  55771     27
Elapsed time = 1962.82 sec. (1879044.46 ticks, tree = 413.44 MB, solutions = 6)
Nodefile size = 285.90 MB (206.44 MB after compression)
  55938 52150       53.8136   153       44.0000       58.8052  6537421   33.65%             x84 D  55938  55937     36
  56096 52296       54.9508   166       44.0000       58.7960  6547600   33.63%             x75 D  56096  56095     30
  56260 52448       54.5051   170       44.0000       58.7931  6558613   33.62%             x23 U  56260    982     34
  56414 52590       54.6836   170       44.0000       58.7906  6569416   33.61%            x183 D  56414  56413     37
  56572 52736       55.9073   169       44.0000       58.7888  6580280   33.61%            x106 D  56572  56571     25
  56734 52886       54.4982   162       44.0000       58.7849  6590916   33.60%             x57 D  56734  56733     27
  56885 53025       55.9641   166       44.0000       58.7827  6601600   33.60%             x44 U  56885   3836     19
  57050 53178       51.3657   148       44.0000       58.7720  6612325   33.57%            x246 D  57050  57049     26
  57200 53316       50.2613   144       44.0000       58.7674  6623061   33.56%             x18 D  57200  57199     42
  57355 53459       51.0320   152       44.0000       58.7652  6633998   33.56%            x244 D  57355  57354     40
Elapsed time = 2001.94 sec. (1917421.19 ticks, tree = 470.62 MB, solutions = 6)
Nodefile size = 343.19 MB (252.06 MB after compression)
  57508 53600       52.4966   155       44.0000       58.7643  6644896   33.56%            x193 D  57508  57507     25
  57664 53744       50.5626   146       44.0000       58.7608  6655111   33.55%            x183 D  57664  57663     43
  57820 53888       51.1340   153       44.0000       58.7525  6666047   33.53%             x25 D  57820  57819     51
  57971 54027       52.8430   160       44.0000       58.7460  6676951   33.51%            x171 D  57971  57970     48
  58130 54174       50.9551   145       44.0000       58.7420  6687614   33.50%            x223 D  58130  58129     47
  58285 54317       49.9086   143       44.0000       58.7366  6698524   33.49%            x162 D  58285  58284     42
  58438 54458       49.0739   135       44.0000       58.7332  6709402   33.48%             x15 D  58438  58437     53
  58605 54609       56.4308   166       44.0000       58.7285  6720003   33.47%            x224 U  58605  16356     16
  58769 54761       56.2539   179       44.0000       58.7270  6730803   33.47%            x180 U  58769   2112     31
  58920 54904       45.4292   125       44.0000       58.7231  6741433   33.46%             x17 D  58920  58919     69
Elapsed time = 2040.72 sec. (1955750.57 ticks, tree = 526.83 MB, solutions = 6)
Nodefile size = 399.19 MB (297.19 MB after compression)
  59079 55047       55.6087   168       44.0000       58.7185  6752186   33.45%             x91 U  59079   3692     15
  59240 55196       52.9447   160       44.0000       58.7176  6762818   33.45%             x27 D  59240  59239     42
  59400 55344       50.5005   150       44.0000       58.7156  6773666   33.44%            x161 D  59400  59399     55
  59560 55492       50.4570   136       44.0000       58.7130  6784467   33.44%              x2 D  59560  59559     41
  59713 55633       48.1039   130       44.0000       58.7105  6795076   33.43%            x226 D  59713  59712     55
  59873 55781       48.5763   126       44.0000       58.7080  6805696   33.43%            x166 D  59873  59872     60
  60026 55922       48.6401   137       44.0000       58.7065  6816026   33.42%             x95 D  60026  60025     70
  60186 56070       49.2197   137       44.0000       58.7014  6826851   33.41%             x88 D  60186  60185     50
  60346 56218       46.8653   137       44.0000       58.6944  6837879   33.40%            x191 D  60346  60345     76
  60508 56364       56.8231   167       44.0000       58.6913  6848654   33.39%            x208 U  60508  12213     25
Elapsed time = 2079.82 sec. (1994041.79 ticks, tree = 582.15 MB, solutions = 6)
Nodefile size = 454.35 MB (341.55 MB after compression)
  60668 56512       53.9438   154       44.0000       58.6882  6859618   33.38%            x248 D  60668  60667     17
  60830 56662       51.5791   146       44.0000       58.6870  6869809   33.38%            x104 D  60830  60829     48
  60994 56814       50.6235   147       44.0000       58.6828  6880227   33.37%            x200 D  60994  60993     50
  61153 56961       47.6144   135       44.0000       58.6792  6891143   33.36%            x123 D  61153  61152     71
  61312 57108       46.0944   114       44.0000       58.6772  6901558   33.36%              x3 D  61312  61311     58
  61473 57253       55.7259   169       44.0000       58.6717  6913019   33.34%            x135 U  61473  10043     23
  61632 57400       56.9418   175       44.0000       58.6686  6922833   33.34%            x201 U  61632   4524      7
  61792 57552       46.9409   127       44.0000       58.6657  6933507   33.33%             x71 D  61792  61791     59
  61960 57704       52.8013   156       44.0000       58.6536  6944165   33.30%            x211 D  61960  61959     33
  62108 57840       51.4289   146       44.0000       58.6528  6954794   33.30%            x175 D  62108  62107     32
Elapsed time = 2118.81 sec. (2032497.91 ticks, tree = 639.77 MB, solutions = 6)
Nodefile size = 512.30 MB (388.35 MB after compression)
  62264 57984       49.9423   145       44.0000       58.6516  6965630   33.30%             x72 D  62264  62263     53
  62404 58112       54.8089   169       44.0000       58.6469  6975950   33.29%             x82 D  62404  62403     27
  62569 58265       52.3066   148       44.0000       58.6412  6986706   33.28%            x140 D  62569  62568     34
  62744 58426       46.9449   125       44.0000       58.6390  6996982   33.27%            x226 D  62744  62743     43
  62896 58566       48.2203   132       44.0000       58.6360  7008162   33.26%            x104 D  62896  62895     54
  63056 58710       54.5833   166       44.0000       58.6307  7019126   33.25%            x204 U  63056  15962     29
  63219 58861       53.4861   159       44.0000       58.6267  7029920   33.24%            x114 D  63219  63218     33
  63278 58916       52.3796   157       44.0000       58.6238  7033595   33.24%              x2 D  63278  63277     54
  63316 58950       55.8042   170       44.0000       58.6232  7035820   33.23%            x240 D  63316  63315     19
  63352 58986       48.6883   133       44.0000       58.6232  7037940   33.23%             x72 D  63352  63351     55
Elapsed time = 2153.76 sec. (2071032.44 ticks, tree = 679.72 MB, solutions = 6)
Nodefile size = 551.76 MB (420.19 MB after compression)
  63388 59018       52.5581   156       44.0000       58.6218  7040798   33.23%             x24 D  63388  63387     42
  63425 59051       54.9377   168       44.0000       58.6207  7043193   33.23%            x101 D  63425  63424     22
  63462 59088       47.2640   130       44.0000       58.6207  7045229   33.23%             x42 D  63462  63461     59
  63500 59122       48.7361   143       44.0000       58.6203  7047890   33.23%            x159 D  63500  63499     47
  63536 59154       51.3784   151       44.0000       58.6199  7051150   33.23%            x145 D  63536  63535     33
  63572 59186       53.4563   174       44.0000       58.6160  7054036   33.22%            x112 D  63572  63571     52
  63608 59222       46.0063   135       44.0000       58.6160  7056285   33.22%            x130 D  63608  63607     88
  63644 59254       51.5198   149       44.0000       58.6141  7059342   33.21%             x45 D  63644  63643     43
  63681 59287       54.5865   159       44.0000       58.6136  7062195   33.21%             x50 D  63681  63680     16
  63718 59324       46.0382   118       44.0000       58.6136  7064298   33.21%            x187 D  63718  63717     53
Elapsed time = 2179.81 sec. (2110074.82 ticks, tree = 690.44 MB, solutions = 6)
Nodefile size = 563.33 MB (429.41 MB after compression)
  63756 59358       49.0952   141       44.0000       58.6136  7066861   33.21%             x49 D  63756  63755     60
  63794 59392       51.7396   150       44.0000       58.6128  7069511   33.21%            x104 D  63794  63793     45
  63830 59424       55.4720   164       44.0000       58.6123  7072251   33.21%            x101 D  63830  63829     14
  63866 59460       47.0982   124       44.0000       58.6123  7074592   33.21%            x237 D  63866  63865     50
  63904 59494       51.9580   146       44.0000       58.6114  7077031   33.21%            x222 D  63904  63903     49
  63941 59527       54.0347   164       44.0000       58.6088  7079090   33.20%            x123 D  63941  63940     13
  63977 59563       45.4737   127       44.0000       58.6088  7081277   33.20%            x144 D  63977  63976     49
  64012 59594       47.4311   136       44.0000       58.6047  7084346   33.19%            x174 D  64012  64011     57
  64049 59627       49.6676   140       44.0000       58.6034  7086960   33.19%            x245 D  64049  64048     47
  64086 59660       52.9157   150       44.0000       58.5958  7089261   33.17%            x206 D  64086  64085     41
Elapsed time = 2205.98 sec. (2149072.98 ticks, tree = 704.17 MB, solutions = 6)
Nodefile size = 576.85 MB (440.34 MB after compression)
  64123 59693       53.5013   163       44.0000       58.5953  7092043   33.17%            x218 U  64123   5648     18
  64159 59729       46.2607   126       44.0000       58.5953  7094115   33.17%            x121 D  64159  64158     54
  64196 59762       50.3729   142       44.0000       58.5930  7096638   33.17%             x85 D  64196  64195     57
  64232 59794       52.6944   160       44.0000       58.5920  7098978   33.16%             x24 D  64232  64231     45
  64270 59828       55.0716   161       44.0000       58.5919  7101365   33.16%            x100 U  64270   2415     18
  64306 59864       47.1680   120       44.0000       58.5919  7103229   33.16%             x42 D  64306  64305     54
  64340 59894       49.0331   144       44.0000       58.5904  7106526   33.16%              x3 D  64340  64339     52
  64378 59928       52.2507   147       44.0000       58.5895  7109000   33.16%             x75 D  64378  64377     34
  64416 59962       54.1328   168       44.0000       58.5893  7111374   33.16%            x212 D  64416  64415     40
  64452 59998       46.2375   131       44.0000       58.5893  7113671   33.16%             x72 D  64452  64451     76
Elapsed time = 2231.64 sec. (2188059.78 ticks, tree = 717.06 MB, solutions = 6)
Nodefile size = 589.37 MB (450.58 MB after compression)
  64488 60030       50.7296   143       44.0000       58.5891  7116683   33.16%            x205 D  64488  64487     47
  64525 60063       52.6694   144       44.0000       58.5884  7119110   33.16%              x8 D  64525  64524     23
  64562 60096       56.5702   173       44.0000       58.5879  7120955   33.15%            x107 D  64562  64561     19
  64598 60132       48.4151   134       44.0000       58.5879  7123418   33.15%              x9 D  64598  64597     55
  64636 60166       51.2997   142       44.0000       58.5876  7126625   33.15%              x7 D  64636  64635     35
  64672 60198       53.8903   159       44.0000       58.5866  7129121   33.15%             x24 D  64672  64671     25
  64710 60236       45.9938   121       44.0000       58.5866  7131252   33.15%            x219 D  64710  64709     63
  64748 60270       50.4730   137       44.0000       58.5859  7133562   33.15%            x222 D  64748  64747     43
  64784 60302       53.3917   158       44.0000       58.5828  7136397   33.14%            x107 D  64784  64783     32
  64820 60338       45.5880   122       44.0000       58.5828  7138455   33.14%             x36 D  64820  64819     68
Elapsed time = 2257.43 sec. (2227075.80 ticks, tree = 730.40 MB, solutions = 6)
Nodefile size = 602.87 MB (461.43 MB after compression)
  64857 60371       48.6954   134       44.0000       58.5802  7141006   33.14%            x134 D  64857  64856     41
  64891 60401       52.7929   161       44.0000       58.5769  7144288   33.13%            x103 D  64891  64890     47
  64927 60437       45.6407   122       44.0000       58.5769  7146429   33.13%            x195 D  64927  64926     83
  64964 60470       48.6652   134       44.0000       58.5743  7148821   33.12%             x99 D  64964  64963     50
  65002 60504       51.8670   145       44.0000       58.5703  7151143   33.11%            x208 D  65002  65001     36
  65040 60538       56.2704   176       44.0000       58.5646  7153128   33.10%             x22 D  65040  65039     27
  65076 60574       48.0708   137       44.0000       58.5646  7155473   33.10%            x195 D  65076  65075     63
  65112 60606       52.6166   153       44.0000       58.5644  7158438   33.10%            x206 D  65112  65111     30
  65150 60640       56.0804   169       44.0000       58.5641  7160822   33.10%             x97 U  65150   4596     20
  65186 60676       48.3827   132       44.0000       58.5641  7163009   33.10%             x22 D  65186  65185     56
Elapsed time = 2283.14 sec. (2265852.04 ticks, tree = 744.18 MB, solutions = 6)
Nodefile size = 616.44 MB (472.45 MB after compression)
  65223 60709       52.0338   153       44.0000       58.5610  7165265   33.09%            x107 D  65223  65222     35
  65260 60742       56.0515   180       44.0000       58.5574  7167976   33.08%             x70 D  65260  65259     31
  65294 60776       49.1390   146       44.0000       58.5574  7170650   33.08%             x87 D  65294  65293     65
  65332 60810       53.5264   158       44.0000       58.5569  7173155   33.08%             x19 D  65332  65331     34
  65368 60846       46.1579   122       44.0000       58.5569  7175057   33.08%            x195 D  65368  65367     70
  65406 60880       49.6074   141       44.0000       58.5565  7177496   33.08%            x215 D  65406  65405     46
  65442 60912       52.7795   150       44.0000       58.5560  7180246   33.08%             x83 D  65442  65441     39
  65478 60944       55.4858   168       44.0000       58.5535  7182638   33.08%            x239 U  65478  15836     24
  65514 60980       47.7999   130       44.0000       58.5535  7184823   33.08%             x41 D  65514  65513     60
  65552 61014       50.0120   137       44.0000       58.5530  7187190   33.07%            x239 D  65552  65551     51
Elapsed time = 2308.82 sec. (2304777.51 ticks, tree = 756.69 MB, solutions = 6)
Nodefile size = 628.94 MB (482.65 MB after compression)
  65588 61046       52.4554   148       44.0000       58.5522  7189935   33.07%             x24 D  65588  65587     18
  65627 61079       54.2730   170       44.0000       58.5499  7192333   33.07%            x129 D  65627  65626     37
  65662 61114       46.8956   134       44.0000       58.5499  7194500   33.07%            x171 D  65662  65661     72
  65698 61146       51.2436   150       44.0000       58.5494  7197422   33.07%              x1 D  65698  65697     38
  65734 61178       56.2691   180       44.0000       58.5490  7199579   33.07%            x247 D  65734  65733     37
  65770 61214       48.8041   142       44.0000       58.5490  7202171   33.07%            x107 D  65770  65769     73
  65806 61246       50.5539   144       44.0000       58.5485  7205427   33.06%            x192 D  65806  65805     42
  65844 61280       52.1695   159       44.0000       58.5485  7207979   33.06%             x27 D  65844  65843     38
  65882 61314       55.9036   165       44.0000       58.5469  7210261   33.06%            x106 D  65882  65881     22
  65920 61352       47.4714   123       44.0000       58.5469  7212354   33.06%             x74 D  65920  65919     60
Elapsed time = 2334.98 sec. (2343837.52 ticks, tree = 769.17 MB, solutions = 6)
Nodefile size = 641.49 MB (492.76 MB after compression)
  65956 61384       49.5926   142       44.0000       58.5469  7214599   33.06%            x247 D  65956  65955     34
  65992 61416       53.4804   150       44.0000       58.5464  7217091   33.06%             x16 D  65992  65991     36
  66029 61449       53.3763   157       44.0000       58.5454  7219424   33.06%            x181 D  66029  66028     26
  66064 61484       45.0345   122       44.0000       58.5454  7221536   33.06%             x98 D  66064  66063     61
  66100 61516       50.2512   142       44.0000       58.5453  7224603   33.06%            x143 D  66100  66099     51
  66138 61550       51.4535   147       44.0000       58.5443  7227055   33.06%            x229 D  66138  66137     24
  66175 61583       54.0493   160       44.0000       58.5427  7229433   33.05%             x35 D  66175  66174     34
  66212 61620       45.6685   123       44.0000       58.5427  7231615   33.05%            x175 D  66212  66211     71
  66246 61650       49.4555   143       44.0000       58.5422  7234950   33.05%             x25 D  66246  66245     66
  66284 61684       54.5021   155       44.0000       58.5420  7237066   33.05%             x59 D  66284  66283     22
Elapsed time = 2360.92 sec. (2382545.02 ticks, tree = 780.96 MB, solutions = 6)
Nodefile size = 653.14 MB (502.15 MB after compression)
  66322 61722       46.8300   117       44.0000       58.5420  7238937   33.05%             x65 D  66322  66321     60
  66359 61755       50.0586   140       44.0000       58.5418  7241550   33.05%            x127 D  66359  66358     41
  66394 61786       54.1203   165       44.0000       58.5408  7244498   33.05%            x221 D  66394  66393     32
  66430 61822       46.1375   128       44.0000       58.5408  7246710   33.05%            x110 D  66430  66429     68
  66468 61856       47.7148   129       44.0000       58.5400  7249342   33.05%             x83 D  66468  66467     50
  66506 61890       49.4445   137       44.0000       58.5399  7251511   33.05%             x16 D  66506  66505     44
  66542 61922       52.1499   150       44.0000       58.5390  7253871   33.04%            x118 D  66542  66541     35
  66579 61955       55.6503   172       44.0000       58.5385  7256737   33.04%            x223 D  66579  66578     29
  66614 61990       48.4563   134       44.0000       58.5385  7259018   33.04%            x185 D  66614  66613     64
  66652 62024       51.8436   153       44.0000       58.5374  7261296   33.04%             x98 D  66652  66651     41
Elapsed time = 2386.69 sec. (2421537.01 ticks, tree = 793.89 MB, solutions = 6)
Nodefile size = 666.54 MB (513.04 MB after compression)
  66688 62056       54.9227   174       44.0000       58.5364  7264399   33.04%             x12 D  66688  66687     39
  66724 62092       47.0950   137       44.0000       58.5364  7266964   33.04%             x69 D  66724  66723     75
  66760 62124       50.9645   150       44.0000       58.5351  7269584   33.03%            x189 D  66760  66759     56
  66797 62157       54.3916   163       44.0000       58.5338  7272037   33.03%            x134 D  66797  66796     24
  66833 62193       46.7769   125       44.0000       58.5338  7273988   33.03%            x245 D  66833  66832     60
  66870 62226       49.2310   136       44.0000       58.5338  7276499   33.03%            x210 D  66870  66869     50
  66906 62258       54.6024   167       44.0000       58.5337  7279130   33.03%            x222 D  66906  66905     30
  66942 62294       47.5978   128       44.0000       58.5337  7281300   33.03%            x196 D  66942  66941     66
  66980 62328       50.2993   143       44.0000       58.5336  7283624   33.03%            x189 D  66980  66979     48
  67016 62360       52.6179   153       44.0000       58.5326  7286318   33.03%            x218 D  67016  67015     29
Elapsed time = 2412.18 sec. (2460213.74 ticks, tree = 806.46 MB, solutions = 6)
Nodefile size = 679.05 MB (523.16 MB after compression)
  67052 62392       53.7306   156       44.0000       58.5325  7288662   33.03%            x248 U  67052   5911     15
  67089 62429       45.1590   118       44.0000       58.5325  7290798   33.03%             x68 D  67089  67088     52
  67124 62460       48.8707   143       44.0000       58.5312  7293670   33.03%             x87 D  67124  67123     64
  67160 62492       52.0126   155       44.0000       58.5308  7296961   33.02%             x83 D  67160  67159     43
  67198 62526       54.5192   167       44.0000       58.5307  7299355   33.02%             x73 D  67198  67197     21
  67234 62562       47.0792   132       44.0000       58.5307  7301669   33.02%             x29 D  67234  67233     57
  67272 62596       50.2887   139       44.0000       58.5300  7304192   33.02%            x177 D  67272  67271     42
  67308 62628       53.0492   148       44.0000       58.5288  7307221   33.02%            x128 D  67308  67307     27
  67346 62662       54.4311   159       44.0000       58.5284  7309661   33.02%            x233 D  67346  67345     26
  67384 62700       45.5417   119       44.0000       58.5284  7311734   33.02%            x177 D  67384  67383     64
Elapsed time = 2438.04 sec. (2499319.56 ticks, tree = 820.73 MB, solutions = 6)
Nodefile size = 693.40 MB (534.87 MB after compression)
  67422 62734       48.2944   127       44.0000       58.5244  7313922   33.01%             x34 D  67422  67421     48
  67458 62766       50.7296   150       44.0000       58.5238  7316873   33.01%            x151 D  67458  67457     48
  67496 62800       54.2184   157       44.0000       58.5223  7319373   33.01%            x121 D  67496  67495     23
  67532 62836       46.1717   120       44.0000       58.5223  7321339   33.01%             x30 D  67532  67531     59
  67570 62870       49.1835   136       44.0000       58.5219  7323895   33.00%            x217 D  67570  67569     56
  67606 62902       53.6925   159       44.0000       58.5216  7325936   33.00%            x112 D  67606  67605     29
  67642 62938       45.9461   124       44.0000       58.5216  7328055   33.00%            x128 D  67642  67641     65
  67678 62970       48.1607   141       44.0000       58.5182  7331483   33.00%             x59 D  67678  67677     61
  67714 63002       51.4295   154       44.0000       58.5180  7334538   33.00%            x158 D  67714  67713     57
  67751 63035       54.0522   161       44.0000       58.5162  7337091   32.99%             x62 D  67751  67750     32
Elapsed time = 2463.74 sec. (2538387.48 ticks, tree = 834.16 MB, solutions = 6)
Nodefile size = 706.88 MB (545.87 MB after compression)
  67787 63071       45.2183   121       44.0000       58.5162  7339204   32.99%             x82 D  67787  67786     68
  67822 63102       49.2165   136       44.0000       58.5160  7342052   32.99%            x126 D  67822  67821     62
  67858 63134       53.2090   160       44.0000       58.5151  7344350   32.99%            x212 D  67858  67857     25
  67895 63171       45.5510   124       44.0000       58.5151  7346438   32.99%             x46 D  67895  67894     62
  67932 63204       47.5931   135       44.0000       58.5135  7348991   32.99%            x195 D  67932  67931     56
  67967 63235       52.1562   153       44.0000       58.5129  7352217   32.98%             x66 D  67967  67966     54
  68002 63266       56.0255   178       44.0000       58.5127  7354450   32.98%             x36 D  68002  68001     34
  68038 63302       48.3562   142       44.0000       58.5127  7356916   32.98%             x13 D  68038  68037     70
  68074 63334       49.7785   144       44.0000       58.5121  7359494   32.98%             x47 D  68074  68073     38
  68111 63367       51.0676   143       44.0000       58.5114  7362647   32.98%            x125 D  68111  68110     33
Elapsed time = 2489.15 sec. (2577056.73 ticks, tree = 846.61 MB, solutions = 6)
Nodefile size = 719.40 MB (556.03 MB after compression)
  68148 63400       54.0959   156       44.0000       58.5099  7364746   32.98%            x246 D  68148  68147     30
  68184 63436       46.4741   110       44.0000       58.5099  7366528   32.98%             x68 D  68184  68183     66
  68221 63469       49.9746   139       44.0000       58.5083  7368757   32.97%             x87 D  68221  68220     53
  68258 63502       53.5164   162       44.0000       58.5077  7371666   32.97%            x189 D  68258  68257     30
  68294 63538       45.4352   122       44.0000       58.5077  7373959   32.97%            x199 D  68294  68293     66
  68332 63572       47.9986   133       44.0000       58.5075  7376406   32.97%             x24 D  68332  68331     54
  68369 63605       51.7088   152       44.0000       58.5074  7378906   32.97%             x42 D  68369  68368     36
  68405 63637       55.7087   166       44.0000       58.5042  7381566   32.96%            x129 D  68405  68404     28
  68440 63672       47.8745   131       44.0000       58.5042  7383578   32.96%             x50 D  68440  68439     63
  68476 63704       51.0440   155       44.0000       58.5041  7386118   32.96%             x54 D  68476  68475     45
Elapsed time = 2514.20 sec. (2615893.78 ticks, tree = 859.47 MB, solutions = 6)
Nodefile size = 731.94 MB (566.13 MB after compression)
  68512 63736       52.3022   157       44.0000       58.4995  7389554   32.95%             x38 D  68512  68511     44
  68550 63770       55.8504   174       44.0000       58.4988  7391915   32.95%              x5 D  68550  68549     23
  68586 63806       48.1166   135       44.0000       58.4988  7394295   32.95%            x106 D  68586  68585     59
  68622 63838       51.3765   150       44.0000       58.4984  7396703   32.95%            x159 D  68622  68621     33
  68659 63871       52.5177   152       44.0000       58.4976  7398996   32.95%            x174 D  68659  68658     23
  68696 63904       55.9598   169       44.0000       58.4965  7401694   32.95%            x139 D  68696  68695     25
  68732 63940       48.3686   130       44.0000       58.4965  7404207   32.95%              x8 D  68732  68731     61
  68769 63973       50.6769   148       44.0000       58.4943  7406638   32.94%            x123 D  68769  68768     42
  68802 64002       54.4122   163       44.0000       58.4932  7408571   32.94%            x151 D  68802  68801     25
  68838 64038       47.0147   126       44.0000       58.4932  7410395   32.94%            x134 D  68838  68837     61
Elapsed time = 2539.73 sec. (2654878.30 ticks, tree = 873.03 MB, solutions = 6)
Nodefile size = 745.41 MB (577.10 MB after compression)
  68876 64072       51.6969   146       44.0000       58.4930  7412865   32.94%             x79 D  68876  68875     31
  68914 64106       53.4113   161       44.0000       58.4929  7415156   32.94%            x123 D  68914  68913     45
  68950 64142       45.3670   119       44.0000       58.4929  7417084   32.94%            x232 D  68950  68949     81
  68984 64172       49.6308   140       44.0000       58.4921  7420274   32.94%             x98 D  68984  68983     51
  69021 64205       53.5860   154       44.0000       58.4913  7422623   32.93%             x25 D  69021  69020     35
  69058 64242       45.0000   110       44.0000       58.4913  7424597   32.93%            x181 D  69058  69057     72
  69094 64274       49.3583   143       44.0000       58.4912  7427353   32.93%            x190 D  69094  69093     65
  69130 64306       54.0284   164       44.0000       58.4906  7430279   32.93%            x123 D  69130  69129     48
  69166 64342       46.5698   130       44.0000       58.4906  7432581   32.93%             x52 D  69166  69165     84
  69202 64374       50.2030   143       44.0000       58.4890  7434915   32.93%            x163 D  69202  69201     62
Elapsed time = 2564.71 sec. (2693857.93 ticks, tree = 886.36 MB, solutions = 6)
Nodefile size = 758.95 MB (588.00 MB after compression)
  69240 64408       53.6351   160       44.0000       58.4885  7437085   32.93%            x133 D  69240  69239     26
  69277 64441       55.2251   174       44.0000       58.4881  7440598   32.93%            x150 U  69277   1400     32
  69312 64476       47.8319   139       44.0000       58.4881  7443056   32.93%            x161 D  69312  69311     67
  69350 64510       49.8661   139       44.0000       58.4881  7445468   32.93%             x36 D  69350  69349     33
  69388 64544       52.6114   150       44.0000       58.4873  7447810   32.93%            x218 D  69388  69387     32
  69426 64578       54.8412   166       44.0000       58.4855  7450000   32.92%             x72 U  69426   9198     16
  69462 64614       47.5397   126       44.0000       58.4855  7451955   32.92%             x68 D  69462  69461     52
  69498 64646       49.6085   129       44.0000       58.4852  7454686   32.92%            x106 D  69498  69497     39
  69536 64680       49.2862   141       44.0000       58.4838  7456887   32.92%            x151 D  69536  69535     44
  69573 64713       51.1460   150       44.0000       58.4780  7459471   32.90%             x35 D  69573  69572     44
Elapsed time = 2590.18 sec. (2732900.68 ticks, tree = 899.98 MB, solutions = 6)
Nodefile size = 772.47 MB (598.93 MB after compression)
  69610 64746       54.5968   157       44.0000       58.4760  7462185   32.90%            x135 D  69610  69609     12
  69646 64782       46.6327   120       44.0000       58.4760  7464227   32.90%             x41 D  69646  69645     48
  69681 64813       50.9789   144       44.0000       58.4752  7466530   32.90%            x186 D  69681  69680     48
  69716 64844       55.9962   169       44.0000       58.4718  7468515   32.89%             x95 D  69716  69715     17
  69752 64880       48.4480   132       44.0000       58.4718  7470802   32.89%             x34 D  69752  69751     53
  69788 64912       51.6853   148       44.0000       58.4717  7473853   32.89%            x159 D  69788  69787     41
  69825 64945       55.2246   172       44.0000       58.4716  7476009   32.89%            x228 D  69825  69824     27
  69862 64982       46.9598   134       44.0000       58.4716  7478195   32.89%              x0 D  69862  69861     64
  69900 65016       51.0331   147       44.0000       58.4705  7480450   32.89%            x246 D  69900  69899     43
  69938 65050       53.7004   167       44.0000       58.4700  7482823   32.89%            x195 D  69938  69937     40
Elapsed time = 2614.96 sec. (2771839.88 ticks, tree = 914.07 MB, solutions = 6)
Nodefile size = 786.89 MB (610.66 MB after compression)
  69974 65086       45.6308   126       44.0000       58.4700  7485174   32.89%             x14 D  69974  69973     76
  70010 65118       48.2496   134       44.0000       58.4667  7488433   32.88%            x207 D  70010  70009     52
  70048 65152       49.1822   133       44.0000       58.4660  7490736   32.88%            x124 D  70048  70047     37
  70086 65186       51.2697   144       44.0000       58.4656  7492980   32.88%             x60 D  70086  70085     44
  70124 65220       56.4301   174       44.0000       58.4643  7495327   32.87%             x48 D  70124  70123     11
  70160 65256       49.0972   137       44.0000       58.4643  7497831   32.87%            x205 D  70160  70159     47
  70198 65290       53.0647   154       44.0000       58.4636  7500062   32.87%            x131 D  70198  70197     37
  70236 65324       54.4694   162       44.0000       58.4624  7502994   32.87%            x184 D  70236  70235     20
  70272 65360       45.8368   124       44.0000       58.4624  7505341   32.87%            x144 D  70272  70271     56
  70310 65394       49.5366   135       44.0000       58.4607  7507962   32.87%             x71 D  70310  70309     58
Elapsed time = 2640.15 sec. (2811169.21 ticks, tree = 926.24 MB, solutions = 6)
Nodefile size = 798.43 MB (619.91 MB after compression)
  70348 65428       51.2923   146       44.0000       58.4607  7510140   32.87%             x36 D  70348  70347     30
  70386 65462       55.3876   170       44.0000       58.4560  7512267   32.85%            x108 D  70386  70385     17
  70422 65498       48.1032   132       44.0000       58.4560  7514239   32.85%             x22 D  70422  70421     53
  70458 65530       49.7376   137       44.0000       58.4549  7517178   32.85%            x236 D  70458  70457     33
  70496 65564       53.7105   157       44.0000       58.4537  7519428   32.85%            x245 D  70496  70495     33
  70534 65598       55.9603   171       44.0000       58.4533  7521773   32.85%             x95 U  70534  10871     12
  70570 65634       48.2141   134       44.0000       58.4533  7524011   32.85%             x67 D  70570  70569     48
  70606 65666       51.5490   142       44.0000       58.4515  7526921   32.84%            x193 D  70606  70605     24
  70644 65700       54.8280   163       44.0000       58.4510  7529144   32.84%            x143 D  70644  70643     27
  70680 65736       46.7072   125       44.0000       58.4510  7531294   32.84%            x103 D  70680  70679     63
Elapsed time = 2664.93 sec. (2850363.72 ticks, tree = 939.99 MB, solutions = 6)
Nodefile size = 812.82 MB (631.56 MB after compression)
  70718 65770       49.7227   139       44.0000       58.4507  7533784   32.84%            x198 D  70718  70717     67
  70753 65801       52.9042   153       44.0000       58.4507  7536564   32.84%            x103 D  70753  70752     38
  70789 65833       54.5868   167       44.0000       58.4464  7539026   32.83%            x228 D  70789  70788     21
  70823 65867       46.9248   134       44.0000       58.4464  7541196   32.83%             x64 D  70823  70822     55
  70860 65900       50.0429   146       44.0000       58.4458  7543676   32.83%            x148 D  70860  70859     45
  70896 65932       52.6229   162       44.0000       58.4452  7547077   32.83%            x136 D  70896  70895     42
  70934 65966       54.8396   166       44.0000       58.4449  7549678   32.83%             x47 D  70934  70933     11
  70970 66002       46.2191   130       44.0000       58.4449  7551905   32.83%              x3 D  70970  70969     47
  71008 66036       47.8148   129       44.0000       58.4439  7554195   32.83%            x228 D  71008  71007     56
  71040 66064       53.1228   169       44.0000       58.4438  7558773   32.83%             x41 D  71040  71039     66
Elapsed time = 2690.10 sec. (2889297.94 ticks, tree = 953.24 MB, solutions = 6)
Nodefile size = 826.22 MB (642.51 MB after compression)
  71076 66100       45.8724   131       44.0000       58.4438  7561121   32.83%            x115 D  71076  71075    102
  71113 66133       49.0736   136       44.0000       58.4433  7563595   32.83%             x37 D  71113  71112     46
  71148 66164       50.9161   144       44.0000       58.4390  7566507   32.82%            x229 D  71148  71147     33
  71186 66198       53.0849   149       44.0000       58.4388  7568769   32.82%             x88 D  71186  71185     23
  71224 66232       55.5921   163       44.0000       58.4388  7570639   32.82%             x66 D  71224  71223     21
  71260 66268       48.4184   125       44.0000       58.4388  7572809   32.82%            x226 D  71260  71259     57
  71297 66301       51.8075   153       44.0000       58.4387  7575038   32.82%            x128 D  71297  71296     38
  71333 66333       54.0929   159       44.0000       58.4375  7577955   32.81%             x31 D  71333  71332     32
  71368 66368       45.7406   118       44.0000       58.4375  7580199   32.81%            x102 D  71368  71367     67
  71405 66401       48.6757   139       44.0000       58.4372  7582700   32.81%             x97 D  71405  71404     53
Elapsed time = 2714.26 sec. (2927948.12 ticks, tree = 967.20 MB, solutions = 6)
Nodefile size = 839.64 MB (653.60 MB after compression)
  71440 66432       51.9827   149       44.0000       58.4371  7584952   32.81%             x30 D  71440  71439     39
  71476 66464       55.6816   168       44.0000       58.4366  7587312   32.81%            x112 D  71476  71475     23
  71512 66500       47.3428   131       44.0000       58.4366  7589887   32.81%             x39 D  71512  71511     59
  71550 66534       50.3427   139       44.0000       58.4364  7592166   32.81%            x143 D  71550  71549     42
  71586 66566       53.2276   148       44.0000       58.4360  7594803   32.81%             x95 D  71586  71585     22
  71622 66602       45.0462   108       44.0000       58.4360  7596397   32.81%             x27 D  71622  71621     58
  71660 66636       48.4055   133       44.0000       58.4340  7598863   32.80%              x6 D  71660  71659     56
  71697 66669       53.1376   159       44.0000       58.4336  7601343   32.80%              x9 D  71697  71696     33
  71732 66704       45.4538   122       44.0000       58.4336  7603239   32.80%            x212 D  71732  71731     68
  71768 66736       48.7937   135       44.0000       58.4333  7606533   32.80%            x188 D  71768  71767     47
Elapsed time = 2738.65 sec. (2966963.12 ticks, tree = 978.60 MB, solutions = 6)
Nodefile size = 851.17 MB (662.88 MB after compression)
  71806 66770       50.6971   148       44.0000       58.4330  7609122   32.80%            x202 D  71806  71805     49
  71842 66802       54.3136   161       44.0000       58.4325  7611358   32.80%             x57 D  71842  71841     30
  71879 66839       46.3535   124       44.0000       58.4325  7613381   32.80%             x55 D  71879  71878     67
  71914 66870       49.1148   145       44.0000       58.4310  7616641   32.80%            x229 D  71914  71913     67
  71952 66904       52.5164   150       44.0000       58.4298  7618961   32.79%            x126 D  71952  71951     25
  71990 66938       54.5002   162       44.0000       58.4291  7620966   32.79%            x241 D  71990  71989     18
  72027 66975       45.3388   123       44.0000       58.4291  7623098   32.79%             x15 D  72027  72026     55
  72062 67006       49.0106   133       44.0000       58.4290  7626302   32.79%             x42 D  72062  72061     47
  72098 67038       51.3324   154       44.0000       58.4285  7628564   32.79%            x134 D  72098  72097     30
  72136 67072       54.1785   160       44.0000       58.4272  7630799   32.79%            x247 D  72136  72135     21
Elapsed time = 2763.15 sec. (3006123.25 ticks, tree = 992.43 MB, solutions = 6)
Nodefile size = 864.60 MB (673.81 MB after compression)
  72172 67108       46.6111   119       44.0000       58.4272  7632796   32.79%             x14 D  72172  72171     57
  72208 67140       49.7208   144       44.0000       58.4268  7635892   32.79%            x138 D  72208  72207     44
  72246 67174       53.1940   154       44.0000       58.4266  7638344   32.79%             x44 D  72246  72245     43
  72282 67210       45.6394   120       44.0000       58.4266  7640212   32.79%             x86 D  72282  72281     79
  72320 67244       48.9599   133       44.0000       58.4255  7642656   32.79%            x140 D  72320  72319     49
  72358 67278       50.7891   146       44.0000       58.4232  7644992   32.78%              x7 D  72358  72357     27
  72395 67311       52.4534   156       44.0000       58.4218  7647836   32.78%            x212 D  72395  72394     48
  72432 67344       55.1028   173       44.0000       58.4217  7650380   32.78%            x185 U  72432   2653     37
  72468 67380       47.9835   134       44.0000       58.4217  7652668   32.78%            x225 D  72468  72467     73
  72504 67412       51.6231   145       44.0000       58.4189  7654938   32.77%             x99 D  72504  72503     31
Elapsed time = 2787.62 sec. (3045488.86 ticks, tree = 1006.41 MB, solutions = 6)
Nodefile size = 878.99 MB (685.59 MB after compression)
  72540 67444       55.4115   168       44.0000       58.4177  7657536   32.77%             x48 D  72540  72539     24
  72576 67480       48.0869   131       44.0000       58.4177  7659728   32.77%              x7 D  72576  72575     60
  72612 67512       50.0784   151       44.0000       58.4174  7662346   32.77%             x98 D  72612  72611     46
  72648 67544       53.3753   155       44.0000       58.4155  7665119   32.76%            x110 D  72648  72647     20
  72684 67580       45.7104   113       44.0000       58.4155  7667048   32.76%            x120 D  72684  72683     56
  72722 67614       48.0513   137       44.0000       58.4147  7669394   32.76%            x128 D  72722  72721     47
  72759 67647       50.5461   144       44.0000       58.4134  7671777   32.76%              x1 D  72759  72758     30
  72794 67678       52.1611   148       44.0000       58.4122  7674665   32.76%            x224 D  72794  72793     21
  72830 67710       53.7002   161       44.0000       58.4091  7677017   32.75%             x17 D  72830  72829     29
  72867 67747       45.9674   121       44.0000       58.4091  7679062   32.75%             x82 D  72867  72866     66
Elapsed time = 2811.94 sec. (3084124.21 ticks, tree = 1019.13 MB, solutions = 6)
Nodefile size = 891.54 MB (695.70 MB after compression)
  72902 67778       49.2996   152       44.0000       58.4085  7681897   32.75%            x184 D  72902  72901     68
  72938 67810       52.9044   154       44.0000       58.4082  7685112   32.75%            x152 D  72938  72937     28
  72974 67846       45.6144   116       44.0000       58.4082  7687113   32.75%             x56 D  72974  72973     64
  73010 67878       48.3228   130       44.0000       58.4075  7689436   32.74%            x240 D  73010  73009     47
  73047 67911       51.9246   149       44.0000       58.4066  7692093   32.74%            x110 D  73047  73046     41
  73083 67943       55.3191   160       44.0000       58.4037  7694899   32.74%            x109 D  73083  73082     19
  73118 67978       47.3186   127       44.0000       58.4037  7697148   32.74%              x2 D  73118  73117     54
  73154 68010       49.6486   142       44.0000       58.4027  7699534   32.73%             x65 D  73154  73153     44
  73191 68043       52.7450   157       44.0000       58.4005  7701942   32.73%             x31 D  73191  73190     24
  73229 68077       55.9078   162       44.0000       58.4001  7704619   32.73%            x174 U  73229  10438     14
Elapsed time = 2836.55 sec. (3122871.67 ticks, tree = 1029.99 MB, solutions = 6)
Nodefile size = 902.12 MB (704.25 MB after compression)
  73264 68112       49.3508   129       44.0000       58.4001  7706770   32.73%            x197 D  73264  73263     49
  73301 68145       51.5867   145       44.0000       58.3994  7708946   32.73%            x175 D  73301  73300     37
  73337 68177       53.1029   159       44.0000       58.3985  7711034   32.72%            x247 D  73337  73336     14
  73372 68212       46.1321   117       44.0000       58.3985  7713230   32.72%            x246 D  73372  73371     49
  73408 68244       48.8166   137       44.0000       58.3971  7716032   32.72%            x117 D  73408  73407     45
  73446 68278       51.5916   152       44.0000       58.3951  7718385   32.72%             x24 D  73446  73445     31
  73482 68310       54.7424   164       44.0000       58.3925  7721285   32.71%             x61 D  73482  73481     22
  73519 68347       47.4201   123       44.0000       58.3925  7723270   32.71%            x166 D  73519  73518     59
  73554 68378       51.7487   146       44.0000       58.3913  7725681   32.71%            x239 D  73554  73553     44
  73592 68412       54.2846   161       44.0000       58.3913  7728035   32.71%             x61 D  73592  73591     32
Elapsed time = 2860.83 sec. (3161727.57 ticks, tree = 1043.64 MB, solutions = 6)
Nodefile size = 916.57 MB (715.89 MB after compression)
  73628 68448       46.7913   123       44.0000       58.3913  7730100   32.71%            x162 D  73628  73627     68
  73662 68478       49.7210   141       44.0000       58.3902  7733334   32.71%             x62 D  73662  73661     51
  73700 68512       53.0782   155       44.0000       58.3885  7735555   32.70%            x214 D  73700  73699     32
  73737 68549       45.0259   119       44.0000       58.3885  7737412   32.70%            x135 D  73737  73736     69
  73774 68582       46.7355   131       44.0000       58.3859  7739691   32.70%             x54 D  73774  73773     53
  73812 68616       49.3597   131       44.0000       58.3832  7741778   32.69%            x243 D  73812  73811     41
  73848 68648       50.9908   148       44.0000       58.3830  7744722   32.69%              x7 D  73848  73847     35
  73885 68681       55.3233   168       44.0000       58.3823  7747006   32.69%            x213 D  73885  73884     35
  73920 68716       48.1603   134       44.0000       58.3823  7749358   32.69%             x25 D  73920  73919     70
  73958 68750       50.4219   147       44.0000       58.3812  7751742   32.68%             x86 D  73958  73957     43
Elapsed time = 2884.99 sec. (3200398.46 ticks, tree = 1057.97 MB, solutions = 6)
Nodefile size = 930.08 MB (726.89 MB after compression)
  73995 68783       52.7716   155       44.0000       58.3811  7753815   32.68%            x147 D  73995  73994     21
  74028 68816       45.3537   118       44.0000       58.3811  7755607   32.68%             x33 D  74028  74027     54
  74064 68848       47.9757   126       44.0000       58.3802  7758637   32.68%            x242 D  74064  74063     44
  74101 68881       51.1624   138       44.0000       58.3798  7760827   32.68%            x121 D  74101  74100     38
  74136 68912       53.9262   162       44.0000       58.3787  7763347   32.68%            x232 D  74136  74135     26
  74174 68946       55.8231   167       44.0000       58.3784  7765909   32.68%             x69 U  74174   1484     32
  74210 68982       48.3697   131       44.0000       58.3784  7768346   32.68%             x30 D  74210  74209     68
  74246 69014       52.1949   157       44.0000       58.3777  7770815   32.68%            x175 D  74246  74245     46
  74282 69046       54.3516   158       44.0000       58.3753  7773560   32.67%            x110 D  74282  74281     22
  74318 69082       45.3096   120       44.0000       58.3753  7776012   32.67%            x138 D  74318  74317     58
Elapsed time = 2909.55 sec. (3239270.11 ticks, tree = 1069.70 MB, solutions = 6)
Nodefile size = 942.55 MB (736.92 MB after compression)
  74356 69116       48.7299   135       44.0000       58.3734  7778606   32.67%            x204 D  74356  74355     58
  74392 69148       51.9408   158       44.0000       58.3733  7781046   32.67%            x169 D  74392  74391     38
  74428 69180       53.8811   167       44.0000       58.3710  7784091   32.66%            x239 D  74428  74427     33
  74464 69216       45.8497   128       44.0000       58.3710  7786537   32.66%             x33 D  74464  74463     69
  74500 69248       49.4495   138       44.0000       58.3692  7789083   32.66%             x20 D  74500  74499     43
  74536 69280       52.4682   158       44.0000       58.3687  7791544   32.66%            x133 D  74536  74535     39
  74572 69312       54.5031   166       44.0000       58.3663  7794661   32.65%             x83 D  74572  74571     15
  74608 69348       47.2418   130       44.0000       58.3663  7796710   32.65%             x89 D  74608  74607     51
  74644 69380       49.1654   141       44.0000       58.3651  7799449   32.65%             x47 D  74644  74643     55
  74682 69414       51.1576   153       44.0000       58.3646  7801838   32.65%            x111 D  74682  74681     36
Elapsed time = 2934.09 sec. (3278157.25 ticks, tree = 1082.55 MB, solutions = 6)
Nodefile size = 955.06 MB (747.18 MB after compression)
  74718 69446       54.1869   153       44.0000       58.3646  7804658   32.65%             x57 D  74718  74717     14
  74754 69482       45.7282   117       44.0000       58.3646  7806557   32.65%            x149 D  74754  74753     50
  74790 69514       49.1513   140       44.0000       58.3626  7809225   32.64%             x90 D  74790  74789     65
  74826 69546       51.9188   147       44.0000       58.3623  7812238   32.64%            x104 D  74826  74825     33
  74864 69580       53.8059   150       44.0000       58.3617  7814387   32.64%            x107 D  74864  74863     24
  74898 69614       46.0425   112       44.0000       58.3617  7816174   32.64%            x243 D  74898  74897     58
  74936 69648       47.1671   126       44.0000       58.3617  7818572   32.64%            x245 D  74936  74935     57
  74972 69680       50.3331   149       44.0000       58.3604  7821712   32.64%            x117 D  74972  74971     63
  75009 69713       52.2870   156       44.0000       58.3593  7824174   32.63%            x144 D  75009  75008     26
  75046 69746       55.9811   166       44.0000       58.3579  7826351   32.63%            x157 U  75046   5975     14
Elapsed time = 2958.73 sec. (3317121.46 ticks, tree = 1095.09 MB, solutions = 6)
Nodefile size = 967.58 MB (757.22 MB after compression)
  75083 69783       47.6126   128       44.0000       58.3579  7828416   32.63%            x146 D  75083  75082     51
  75119 69815       50.8808   145       44.0000       58.3570  7831664   32.63%            x132 D  75119  75118     47
  75154 69846       53.6451   165       44.0000       58.3559  7833984   32.63%            x240 D  75154  75153     41
  75190 69882       45.7910   127       44.0000       58.3559  7836217   32.63%            x125 D  75190  75189     77
  75228 69916       46.4846   123       44.0000       58.3554  7838496   32.63%             x81 D  75228  75227     60
  75264 69948       48.4792   131       44.0000       58.3550  7841567   32.63%             x75 D  75264  75263     59
  75302 69982       50.0946   145       44.0000       58.3547  7843912   32.62%            x226 D  75302  75301     39
  75340 70016       53.4760   157       44.0000       58.3540  7846096   32.62%              x8 D  75340  75339     21
  75376 70048       54.1600   165       44.0000       58.3535  7849565   32.62%             x98 D  75376  75375     20
  75412 70084       46.4369   126       44.0000       58.3535  7851895   32.62%             x60 D  75412  75411     56
Elapsed time = 2983.49 sec. (3356131.78 ticks, tree = 1107.38 MB, solutions = 6)
Nodefile size = 980.04 MB (767.38 MB after compression)
  75449 70117       49.7124   139       44.0000       58.3531  7854251   32.62%            x238 D  75449  75448     50
  75486 70150       53.1365   155       44.0000       58.3520  7856353   32.62%            x127 D  75486  75485     38
  75523 70183       55.6989   169       44.0000       58.3517  7858396   32.62%              x9 U  75523   3838     21
  75559 70219       48.0663   130       44.0000       58.3517  7860589   32.62%            x144 D  75559  75558     57
  75594 70250       50.5244   142       44.0000       58.3500  7863614   32.61%            x121 D  75594  75593     42
  75630 70282       52.7254   163       44.0000       58.3499  7865926   32.61%            x217 D  75630  75629     37
  75667 70315       55.7051   171       44.0000       58.3497  7868454   32.61%            x190 U  75667  12409     17
  75702 70350       48.4999   136       44.0000       58.3497  7870797   32.61%            x170 D  75702  75701     52
  75738 70382       51.8675   151       44.0000       58.3491  7873906   32.61%            x101 D  75738  75737     35
  75776 70416       54.6492   165       44.0000       58.3475  7876238   32.61%            x193 D  75776  75775     20
Elapsed time = 3007.67 sec. (3394725.48 ticks, tree = 1120.94 MB, solutions = 6)
Nodefile size = 993.43 MB (778.32 MB after compression)
  75812 70452       46.4277   126       44.0000       58.3475  7878331   32.61%            x162 D  75812  75811     56
  75849 70485       47.8145   136       44.0000       58.3473  7880688   32.61%             x95 D  75849  75848     48
  75885 70517       49.1346   135       44.0000       58.3472  7883855   32.61%             x67 D  75885  75884     33
  75920 70548       52.4014   150       44.0000       58.3470  7886427   32.61%             x49 D  75920  75919     37
  75958 70582       55.6022   162       44.0000       58.3463  7888519   32.61%             x16 D  75958  75957     29
  75994 70618       47.3261   122       44.0000       58.3463  7890511   32.61%             x96 D  75994  75993     65
  76032 70652       47.9563   131       44.0000       58.3460  7893080   32.60%            x117 D  76032  76031     45
  76068 70684       51.6307   146       44.0000       58.3458  7895946   32.60%             x55 D  76068  76067     30
  76104 70716       53.9766   162       44.0000       58.3433  7898032   32.60%            x172 D  76104  76103     28
  76143 70751       56.4431   174       44.0000       58.3432  7900713   32.60%             x19 U  76143   2866     22
Elapsed time = 3032.13 sec. (3433826.12 ticks, tree = 1133.57 MB, solutions = 6)
Nodefile size = 1005.89 MB (788.45 MB after compression)
  76179 70787       48.8640   137       44.0000       58.3432  7903094   32.60%             x29 D  76179  76178     58
  76216 70820       52.5519   156       44.0000       58.3425  7905465   32.60%             x27 D  76216  76215     38
  76254 70854       55.3817   166       44.0000       58.3401  7907672   32.59%            x107 U  76254   8804     19
  76290 70890       47.6932   129       44.0000       58.3401  7909744   32.59%             x52 D  76290  76289     55
  76326 70922       51.5964   150       44.0000       58.3395  7912579   32.59%            x177 D  76326  76325     53
  76364 70956       53.7586   154       44.0000       58.3388  7914860   32.59%             x74 D  76364  76363     14
  76400 70992       45.2713   114       44.0000       58.3388  7916715   32.59%            x206 D  76400  76399     50
  76436 71024       47.5710   135       44.0000       58.3387  7919591   32.59%            x115 D  76436  76435     68
  76473 71057       51.2300   147       44.0000       58.3377  7922535   32.59%            x225 D  76473  76472     61
  76508 71088       53.2768   164       44.0000       58.3375  7925122   32.59%            x123 D  76508  76507     44
Elapsed time = 3056.49 sec. (3472729.70 ticks, tree = 1147.16 MB, solutions = 6)
Nodefile size = 1019.34 MB (799.31 MB after compression)
  76544 71124       45.3151   127       44.0000       58.3375  7927425   32.59%             x57 D  76544  76543     80
  76580 71156       49.1136   138       44.0000       58.3369  7930636   32.58%            x143 D  76580  76579     52
  76618 71190       52.4937   152       44.0000       58.3352  7933062   32.58%             x71 D  76618  76617     43
  76654 71226       45.0246   110       44.0000       58.3352  7934803   32.58%            x234 D  76654  76653     79
  76692 71260       47.9044   130       44.0000       58.3352  7937271   32.58%            x179 D  76692  76691     54
  76728 71292       50.9374   144       44.0000       58.3345  7939947   32.58%             x60 D  76728  76727     52
  76766 71326       52.9193   155       44.0000       58.3334  7942235   32.58%             x28 D  76766  76765     40
  76802 71362       45.3094   118       44.0000       58.3334  7944082   32.58%            x167 D  76802  76801     76
  76840 71396       47.6397   132       44.0000       58.3322  7946503   32.57%            x225 D  76840  76839     49
  76876 71428       50.5553   145       44.0000       58.3294  7949392   32.57%            x122 D  76876  76875     51
Elapsed time = 3081.03 sec. (3512003.54 ticks, tree = 1159.68 MB, solutions = 6)
Nodefile size = 1031.84 MB (809.41 MB after compression)
  76912 71460       53.3378   161       44.0000       58.3289  7951994   32.57%             x26 D  76912  76911     32
  76948 71496       45.4626   121       44.0000       58.3289  7954056   32.57%             x83 D  76948  76947     68
  76985 71529       49.5747   141       44.0000       58.3284  7956686   32.56%            x189 D  76985  76984     69
  77020 71560       52.1249   154       44.0000       58.3282  7959797   32.56%            x224 D  77020  77019     34
  77056 71592       55.6435   164       44.0000       58.3256  7961903   32.56%            x217 D  77056  77055     11
  77092 71628       46.7987   125       44.0000       58.3256  7964335   32.56%            x127 D  77092  77091     47
  77130 71662       50.0839   137       44.0000       58.3252  7966816   32.56%            x102 D  77130  77129     51
  77167 71695       52.1018   152       44.0000       58.3251  7969627   32.56%             x47 D  77167  77166     37
  77202 71730       45.1539   117       44.0000       58.3251  7971379   32.56%            x104 D  77202  77201     72
  77239 71763       48.3830   137       44.0000       58.3242  7973852   32.56%            x204 D  77239  77238     45
Elapsed time = 3105.55 sec. (3550991.05 ticks, tree = 1173.44 MB, solutions = 6)
Nodefile size = 1046.27 MB (821.21 MB after compression)
  77276 71796       52.0534   153       44.0000       58.3242  7976067   32.55%            x129 D  77276  77275     29
  77314 71830       54.6409   166       44.0000       58.3226  7978115   32.55%            x128 U  77314  13319     23
  77350 71866       47.2543   130       44.0000       58.3226  7980190   32.55%            x247 D  77350  77349     59
  77386 71898       50.5024   144       44.0000       58.3203  7983276   32.55%             x60 D  77386  77385     41
  77420 71928       55.0901   175       44.0000       58.3188  7985524   32.54%            x148 D  77420  77419     34
  77456 71964       47.6567   140       44.0000       58.3188  7987971   32.54%             x35 D  77456  77455     70
  77493 71997       50.9777   141       44.0000       58.3186  7990839   32.54%            x165 D  77493  77492     39
  77530 72030       53.9516   162       44.0000       58.3171  7992967   32.54%             x63 D  77530  77529     27
  77566 72066       47.1750   124       44.0000       58.3171  7994930   32.54%             x64 D  77566  77565     63
  77604 72100       48.7398   133       44.0000       58.3167  7997193   32.54%             x30 D  77604  77603     41
Elapsed time = 3129.94 sec. (3589870.33 ticks, tree = 1185.87 MB, solutions = 6)
Nodefile size = 1058.68 MB (831.32 MB after compression)
  77640 72132       51.3192   153       44.0000       58.3156  8000325   32.54%            x199 D  77640  77639     51
  77676 72164       55.9155   171       44.0000       58.3131  8002571   32.53%             x14 D  77676  77675     23
  77712 72200       48.2235   135       44.0000       58.3131  8004768   32.53%            x142 D  77712  77711     59
  77750 72234       49.9029   136       44.0000       58.3124  8007086   32.53%            x139 D  77750  77749     46
  77788 72268       50.9591   149       44.0000       58.3119  8009299   32.53%            x234 D  77788  77787     34
  77825 72301       54.4950   170       44.0000       58.3102  8012042   32.52%             x27 D  77825  77824     32
  77860 72336       46.5600   129       44.0000       58.3102  8014592   32.52%              x8 D  77860  77859     67
  77896 72368       50.4754   140       44.0000       58.3076  8017068   32.52%            x136 D  77896  77895     51
  77934 72402       51.9934   153       44.0000       58.3067  8019252   32.52%             x40 D  77934  77933     26
  77971 72435       55.6684   173       44.0000       58.3054  8021934   32.51%            x151 D  77971  77970     22
Elapsed time = 3154.85 sec. (3628985.79 ticks, tree = 1199.45 MB, solutions = 6)
Nodefile size = 1072.09 MB (842.29 MB after compression)
  78004 72468       48.8140   138       44.0000       58.3054  8024341   32.51%             x17 D  78004  78003     55
  78042 72502       52.8204   155       44.0000       58.3046  8026661   32.51%             x73 D  78042  78041     31
  78079 72539       45.1538   113       44.0000       58.3046  8028523   32.51%            x122 D  78079  78078     68
  78114 72570       47.7693   132       44.0000       58.3044  8031081   32.51%             x82 D  78114  78113     58
  78150 72602       52.3750   155       44.0000       58.3041  8034253   32.51%            x126 D  78150  78149     53
  78188 72636       54.6455   162       44.0000       58.3033  8036916   32.51%            x241 D  78188  78187     29
  78226 72674       46.1478   121       44.0000       58.3033  8038978   32.51%            x140 D  78226  78225     67
  78264 72708       48.8406   134       44.0000       58.2981  8041531   32.50%            x240 D  78264  78263     47
  78300 72740       52.7974   153       44.0000       58.2980  8044422   32.50%             x12 D  78300  78299     37
  78336 72776       45.0087   110       44.0000       58.2980  8046364   32.50%            x185 D  78336  78335     73
Elapsed time = 3179.29 sec. (3668009.12 ticks, tree = 1213.75 MB, solutions = 6)
Nodefile size = 1086.52 MB (854.01 MB after compression)
  78373 72809       46.4764   127       44.0000       58.2976  8048638   32.49%            x212 D  78373  78372     55
  78409 72841       49.4548   139       44.0000       58.2955  8051101   32.49%             x73 D  78409  78408     35
  78444 72872       51.2025   145       44.0000       58.2914  8054108   32.48%            x144 D  78444  78443     29
  78482 72906       55.8954   176       44.0000       58.2906  8056672   32.48%            x241 D  78482  78481     40
  78518 72942       47.3732   140       44.0000       58.2906  8059314   32.48%            x120 D  78518  78517     76
  78556 72976       50.0687   147       44.0000       58.2903  8061964   32.48%            x212 D  78556  78555     63
  78592 73008       53.1262   156       44.0000       58.2903  8065108   32.48%            x247 D  78592  78591     32
  78629 73041       55.2052   171       44.0000       58.2868  8067624   32.47%            x148 D  78629  78628     22
  78664 73076       47.8641   133       44.0000       58.2868  8069982   32.47%             x63 D  78664  78663     57
  78803 73203       46.5114   130       44.0000       58.2846  8082013   32.47%            x245 D  78803  78802     67
Elapsed time = 3211.10 sec. (3718320.26 ticks, tree = 1228.53 MB, solutions = 6)
Nodefile size = 1100.93 MB (865.69 MB after compression)
  78950 73338       48.9069   129       44.0000       58.2835  8091018   32.46%            x176 D  78950  78949     45
  79096 73472       49.2966   138       44.0000       58.2799  8101082   32.45%            x205 D  79096  79095     52
  79240 73604       51.2394   148       44.0000       58.2778  8111426   32.45%             x68 D  79240  79239     38
  79386 73738       51.2534   148       44.0000       58.2734  8120531   32.44%            x104 D  79386  79385     33
  79532 73872       52.3937   147       44.0000       58.2714  8129804   32.43%             x70 D  79532  79531     32
  79675 74003       53.3850   157       44.0000       58.2696  8139887   32.43%            x247 D  79675  79674     22
  79818 74138       45.5613   128       44.0000       58.2689  8148650   32.43%            x172 D  79818  79817     83
  79962 74266       56.2758   170       44.0000       58.2664  8159381   32.42%             x77 U  79962   4526      9
  80106 74398       53.8341   163       44.0000       58.2658  8169458   32.42%            x212 U  80106  10502     19
  80248 74532       46.8334   126       44.0000       58.2639  8179485   32.42%            x173 D  80248  80247     70
Elapsed time = 3307.32 sec. (3871969.68 ticks, tree = 1280.62 MB, solutions = 6)
Nodefile size = 1152.87 MB (907.77 MB after compression)
  80394 74666       48.4008   132       44.0000       58.2637  8189346   32.42%             x36 D  80394  80393     54
  80538 74798       46.7656   128       44.0000       58.2602  8198962   32.41%            x162 D  80538  80537     58
  80684 74932       48.3437   135       44.0000       58.2544  8208316   32.40%             x88 D  80684  80683     48
  80828 75064       47.0405   123       44.0000       58.2531  8218350   32.39%            x172 D  80828  80827     62
  80970 75194       51.7569   152       44.0000       58.2510  8228434   32.39%            x230 D  80970  80969     44
  81116 75328       52.3402   153       44.0000       58.2477  8237747   32.38%             x63 D  81116  81115     28
  81260 75460       50.7533   150       44.0000       58.2470  8247299   32.38%            x191 D  81260  81259     56
  81406 75594       47.9978   129       44.0000       58.2438  8256676   32.37%            x126 D  81406  81405     47
  81550 75726       46.6454   124       44.0000       58.2427  8266450   32.37%            x171 D  81550  81549     54
  81692 75856       50.5143   145       44.0000       58.2404  8276556   32.36%             x69 D  81692  81691     32
Elapsed time = 3404.92 sec. (4025295.70 ticks, tree = 1329.99 MB, solutions = 6)
Nodefile size = 1202.79 MB (948.16 MB after compression)
  81836 75988       51.6677   146       44.0000       58.2371  8286708   32.36%             x27 D  81836  81835     37
  81980 76120       51.0045   150       44.0000       58.2348  8296054   32.35%             x31 D  81980  81979     37
  82124 76252       52.1158   157       44.0000       58.2332  8305669   32.35%             x60 D  82124  82123     31
  82268 76384       52.7409   153       44.0000       58.2282  8314978   32.34%            x157 D  82268  82267     19
  82414 76518       51.9808   151       44.0000       58.2216  8324361   32.32%             x93 D  82414  82413     52
  82560 76652       50.5202   144       44.0000       58.2138  8333889   32.30%            x178 D  82560  82559     33
  82703 76781       54.5843   162       44.0000       58.2119  8343678   32.30%             x34 D  82703  82702     20
  82846 76916       47.7152   125       44.0000       58.2088  8352698   32.29%            x101 D  82846  82845     65
  82990 77048       45.5450   124       44.0000       58.2067  8362071   32.29%            x116 D  82990  82989     62
  83136 77182       45.6424   127       44.0000       58.2031  8371665   32.28%             x32 D  83136  83135     83
Elapsed time = 3502.20 sec. (4178749.97 ticks, tree = 1382.60 MB, solutions = 6)
Nodefile size = 1255.56 MB (990.96 MB after compression)
  83282 77316       47.6920   130       44.0000       58.2000  8380622   32.27%             x79 D  83282  83281     63
  83426 77448       46.0000   119       44.0000       58.1970  8390953   32.27%             x15 D  83426  83425     70
  83572 77582       45.6316   125       44.0000       58.1935  8401071   32.26%              x2 D  83572  83571     80
  83716 77714       45.9627   127       44.0000       58.1871  8410989   32.24%            x128 D  83716  83715     77
  83863 77849       45.5141   121       44.0000       58.1861  8420777   32.24%             x50 D  83863  83862     71
  84007 77977       55.1772   164       44.0000       58.1833  8430841   32.23%            x151 U  84007  23568     30
  84148 78110       46.0729   130       44.0000       58.1824  8440687   32.23%            x194 D  84148  84147     71
  84294 78244       47.9101   129       44.0000       58.1795  8450166   32.23%             x89 D  84294  84293     57
  84436 78374       49.5494   132       44.0000       58.1776  8459931   32.22%            x214 D  84436  84435     36
  84580 78506       49.3175   137       44.0000       58.1705  8469584   32.21%            x104 D  84580  84579     51
Elapsed time = 3598.88 sec. (4332050.06 ticks, tree = 1435.38 MB, solutions = 6)
Nodefile size = 1307.52 MB (1033.19 MB after compression)
  84724 78638       48.4950   136       44.0000       58.1691  8479589   32.20%            x136 D  84724  84723     49
  84867 78769       49.9642   142       44.0000       58.1656  8488886   32.19%             x19 D  84867  84866     46
  85012 78902       53.5000   156       44.0000       58.1651  8498278   32.19%            x138 D  85012  85011     28
  85158 79036       54.3815   170       44.0000       58.1628  8507796   32.19%             x11 D  85158  85157     39
  85304 79174       45.0370   115       44.0000       58.1612  8516636   32.18%             x35 D  85304  85303     70
  85450 79304       54.9219   166       44.0000       58.1562  8526713   32.17%            x101 D  85450  85449     18
  85594 79440       45.9791   126       44.0000       58.1533  8535684   32.17%             x85 D  85594  85593     65
  85739 79573       47.4089   136       44.0000       58.1521  8545178   32.16%             x46 D  85739  85738     76
  85884 79706       45.7777   122       44.0000       58.1489  8555283   32.16%            x133 D  85884  85883     53
  86028 79838       46.5278   122       44.0000       58.1471  8565011   32.15%              x6 D  86028  86027     61
Elapsed time = 3696.52 sec. (4485482.89 ticks, tree = 1485.68 MB, solutions = 6)
Nodefile size = 1358.35 MB (1074.57 MB after compression)
  86172 79970       47.7799   131       44.0000       58.1443  8574659   32.15%             x27 D  86172  86171     55
  86316 80102       45.9918   129       44.0000       58.1404  8584934   32.14%            x127 D  86316  86315     62
  86461 80235       48.0708   134       44.0000       58.1398  8594339   32.14%             x28 D  86461  86460     45
  86604 80366       47.2089   130       44.0000       58.1376  8603998   32.13%             x98 D  86604  86603     58
  86748 80498       48.5236   136       44.0000       58.1353  8613553   32.13%            x121 D  86748  86747     59
  86892 80630       49.2075   139       44.0000       58.1324  8623887   32.12%            x244 D  86892  86891     38
  87036 80762       49.1329   139       44.0000       58.1312  8633747   32.12%             x14 D  87036  87035     50
  87182 80896       48.1239   130       44.0000       58.1293  8643226   32.11%            x110 D  87182  87181     54
  87325 81027       48.7189   135       44.0000       58.1269  8653337   32.11%            x135 D  87325  87324     52
  87469 81159       51.0249   149       44.0000       58.1251  8663021   32.10%            x190 D  87469  87468     40
Elapsed time = 3794.33 sec. (4638946.72 ticks, tree = 1538.74 MB, solutions = 6)
Nodefile size = 1411.09 MB (1117.46 MB after compression)
  87612 81290       50.5825   144       44.0000       58.1238  8672251   32.10%              x2 D  87612  87611     40
  87759 81425       52.3101   151       44.0000       58.1226  8681454   32.10%            x227 D  87759  87758     35
  87904 81558       53.9862   157       44.0000       58.1171  8690452   32.08%            x143 D  87904  87903     35
  88048 81690       53.6294   155       44.0000       58.1156  8700541   32.08%             x77 D  88048  88047     35
  88194 81824       54.9804   168       44.0000       58.1138  8709630   32.08%             x41 D  88194  88193     19
  88336 81958       45.4466   129       44.0000       58.1125  8719866   32.07%            x193 D  88336  88335     72
  88473 82083       46.2966   134       44.0000       58.1101  8730705   32.07%             x19 D  88473  88472     91
  88616 82214       48.2493   126       44.0000       58.1085  8741127   32.06%            x147 D  88616  88615     56
  88760 82346       50.7694   146       44.0000       58.1051  8750320   32.06%            x205 D  88760  88759     35
  88905 82479       51.7952   157       44.0000       58.1022  8759802   32.05%              x8 D  88905  88904     33
Elapsed time = 3891.02 sec. (4792172.67 ticks, tree = 1587.96 MB, solutions = 6)
Nodefile size = 1460.07 MB (1157.09 MB after compression)
  89050 82612       51.3039   151       44.0000       58.0974  8769613   32.04%            x201 D  89050  89049     47
  89196 82746       53.0818   155       44.0000       58.0948  8778571   32.03%            x157 D  89196  89195     35
  89340 82878       52.9080   149       44.0000       58.0937  8789345   32.03%            x203 D  89340  89339     26
  89486 83012       53.1438   150       44.0000       58.0917  8798205   32.03%            x124 D  89486  89485     35
  89630 83144       52.7811   154       44.0000       58.0896  8807310   32.02%            x240 D  89630  89629     23
  89776 83278       53.1702   147       44.0000       58.0851  8816230   32.01%             x45 D  89776  89775     21
  89922 83412       52.6347   150       44.0000       58.0831  8825382   32.01%             x28 D  89922  89921     29
  90065 83543       53.6519   161       44.0000       58.0821  8834937   32.00%            x120 D  90065  90064     29
  90209 83675       50.0306   136       44.0000       58.0789  8844550   32.00%            x102 D  90209  90208     33
  90351 83805       49.6604   133       44.0000       58.0766  8854885   31.99%             x50 D  90351  90350     49
Elapsed time = 3987.36 sec. (4945417.98 ticks, tree = 1636.76 MB, solutions = 6)
Nodefile size = 1509.07 MB (1196.52 MB after compression)
  90494 83936       51.1090   149       44.0000       58.0747  8864689   31.99%            x214 D  90494  90493     36
  90637 84067       49.9787   147       44.0000       58.0727  8875325   31.98%            x166 D  90637  90636     49
  90784 84202       49.4464   137       44.0000       58.0674  8884056   31.97%            x156 D  90784  90783     52
  90928 84334       48.9107   129       44.0000       58.0666  8893966   31.97%            x191 D  90928  90927     43
  91072 84466       48.3776   142       44.0000       58.0642  8903417   31.96%             x77 D  91072  91071     64
  91216 84598       48.2030   131       44.0000       58.0628  8913636   31.96%             x45 D  91216  91215     47
  91361 84731       47.1947   132       44.0000       58.0608  8923315   31.96%             x72 D  91361  91360     64
  91502 84860       50.1156   135       44.0000       58.0572  8933323   31.95%            x183 D  91502  91501     50
  91648 84994       45.8377   123       44.0000       58.0521  8942319   31.94%             x82 D  91648  91647     67
  91792 85126       47.9820   123       44.0000       58.0500  8952788   31.93%            x113 D  91792  91791     64
Elapsed time = 4083.54 sec. (5098844.37 ticks, tree = 1688.28 MB, solutions = 6)
Nodefile size = 1560.81 MB (1238.42 MB after compression)
  91937 85259       47.8044   130       44.0000       58.0459  8961906   31.92%            x146 D  91937  91936     63
  92079 85389       49.8493   149       44.0000       58.0439  8971806   31.92%             x64 D  92079  92078     57
  92226 85524       48.8487   140       44.0000       58.0421  8980711   31.91%             x74 D  92226  92225     59
  92372 85658       49.3944   137       44.0000       58.0400  8989985   31.91%            x107 D  92372  92371     43
  92516 85790       50.3652   141       44.0000       58.0378  8999341   31.90%            x160 D  92516  92515     49
  92660 85922       51.2297   148       44.0000       58.0362  9008450   31.90%            x209 D  92660  92659     51
  92804 86054       49.5068   141       44.0000       58.0315  9018070   31.89%            x124 D  92804  92803     43
  92950 86188       51.7270   152       44.0000       58.0303  9027114   31.89%            x133 D  92950  92949     29
  93093 86319       51.6801   146       44.0000       58.0291  9036903   31.88%            x126 D  93093  93092     31
  93238 86452       53.2086   156       44.0000       58.0279  9046641   31.88%             x38 D  93238  93237     27
Elapsed time = 4179.59 sec. (5252376.34 ticks, tree = 1742.36 MB, solutions = 6)
Nodefile size = 1614.60 MB (1282.12 MB after compression)
  93382 86588       45.1027   123       44.0000       58.0271  9055858   31.88%            x121 D  93382  93381     88
  93527 86717       53.0330   148       44.0000       58.0232  9066028   31.87%            x249 D  93527  93526     32
  93672 86850       53.7474   156       44.0000       58.0219  9075207   31.87%             x39 D  93672  93671     31
  93820 86986       51.1749   148       44.0000       58.0206  9084967   31.87%             x55 D  93820  93819     26
  93961 87119       45.0000    85       44.0000       58.0163  9093895   31.86%             x75 D  93961  93960     84
  94104 87246       55.3583   168       44.0000       58.0128  9104212   31.85%              x7 D  94104  94103     19
  94250 87380       54.2046   162       44.0000       58.0117  9114068   31.84%             x14 D  94250  94249     18
  94396 87514       53.6247   163       44.0000       58.0107  9123858   31.84%            x190 D  94396  94395     40
  94542 87648       54.4623   163       44.0000       58.0098  9132613   31.84%            x174 D  94542  94541     23
  94687 87781       52.4755   149       44.0000       58.0050  9141490   31.83%            x240 D  94687  94686     29
Elapsed time = 4275.50 sec. (5405622.24 ticks, tree = 1793.58 MB, solutions = 6)
Nodefile size = 1666.53 MB (1324.35 MB after compression)
  94832 87914       50.7940   144       44.0000       58.0045  9151436   31.83%             x30 D  94832  94831     41
  94976 88046       50.0168   143       44.0000       58.0009  9161457   31.82%            x221 D  94976  94975     38
  95122 88180       52.6868   154       44.0000       57.9999  9170481   31.82%             x96 D  95122  95121     39
  95268 88314       54.4447   167       44.0000       57.9965  9180183   31.81%            x127 D  95268  95267     36
  95410 88444       52.4604   152       44.0000       57.9942  9190241   31.81%            x125 D  95410  95409     30
  95556 88578       52.2808   154       44.0000       57.9897  9199730   31.79%            x146 D  95556  95555     40
  95700 88710       50.8383   146       44.0000       57.9881  9209222   31.79%            x145 D  95700  95699     45
  95842 88840       51.0129   147       44.0000       57.9851  9219643   31.78%            x213 D  95842  95841     41
  95987 88973       49.7296   148       44.0000       57.9824  9229949   31.78%            x134 D  95987  95986     46
  96132 89106       47.8364   130       44.0000       57.9796  9240011   31.77%             x11 D  96132  96131     61
Elapsed time = 4371.21 sec. (5558866.81 ticks, tree = 1843.94 MB, solutions = 6)
Nodefile size = 1716.54 MB (1364.72 MB after compression)
  96277 89239       46.6890   129       44.0000       57.9777  9249947   31.77%             x58 D  96277  96276     75
  96420 89370       48.6833   137       44.0000       57.9748  9259819   31.76%             x33 D  96420  96419     61
  96564 89500       47.7059   132       44.0000       57.9742  9270177   31.76%             x81 D  96564  96563     69
  96710 89634       47.7860   134       44.0000       57.9717  9279276   31.75%             x55 D  96710  96709     78
  96854 89766       48.8025   131       44.0000       57.9703  9287929   31.75%            x139 D  96854  96853     58
  96998 89898       51.1828   147       44.0000       57.9666  9297094   31.74%            x232 D  96998  96997     44
  97142 90030       48.0550   131       44.0000       57.9649  9307199   31.74%             x79 D  97142  97141     52
  97284 90160       48.9442   136       44.0000       57.9613  9316369   31.73%             x17 D  97284  97283     53
  97428 90292       50.2152   147       44.0000       57.9601  9325330   31.73%             x72 D  97428  97427     39
  97572 90424       49.3414   139       44.0000       57.9580  9334883   31.72%             x16 D  97572  97571     60
Elapsed time = 4466.42 sec. (5712234.59 ticks, tree = 1896.02 MB, solutions = 6)
Nodefile size = 1768.31 MB (1406.69 MB after compression)
  97717 90557       48.8016   127       44.0000       57.9533  9344322   31.71%            x134 D  97717  97716     51
  97860 90688       47.8439   131       44.0000       57.9519  9353878   31.71%             x74 D  97860  97859     40
  98002 90818       51.9884   150       44.0000       57.9474  9363446   31.70%            x159 D  98002  98001     31
  98146 90950       53.5576   159       44.0000       57.9441  9373033   31.69%            x123 D  98146  98145     34
  98290 91082       52.9888   154       44.0000       57.9429  9382775   31.69%            x185 D  98290  98289     43
  98436 91216       52.6203   159       44.0000       57.9413  9392020   31.68%            x223 D  98436  98435     48
  98580 91348       52.1474   159       44.0000       57.9373  9402276   31.68%            x237 D  98580  98579     54
  98724 91480       51.7194   150       44.0000       57.9353  9412044   31.67%             x87 D  98724  98723     37
  98870 91614       53.1558   160       44.0000       57.9311  9421210   31.66%             x79 D  98870  98869     31
  99016 91748       51.4368   149       44.0000       57.9300  9431411   31.66%            x102 D  99016  99015     29
Elapsed time = 4562.77 sec. (5865661.27 ticks, tree = 1947.84 MB, solutions = 6)
Nodefile size = 1820.06 MB (1448.72 MB after compression)
  99162 91882       50.3963   137       44.0000       57.9284  9440748   31.66%            x150 D  99162  99161     28
  99305 92013       49.6378   136       44.0000       57.9264  9450673   31.65%            x225 D  99305  99304     45
  99444 92140       50.5703   146       44.0000       57.9249  9461597   31.65%            x218 D  99444  99443     30
 100055 92699       49.2868   136       44.0000       57.9135  9502075   31.62%             x17 D 100055 100054     51
 100707 93295       55.2683   167       44.0000       57.8984  9544966   31.59%            x119 D 100707 100706     44
 101367 93903       45.5000   101       44.0000       57.8827  9587008   31.55%             x19 D 101367 101366     74
 102012 94492       49.6789   144       44.0000       57.8763  9630098   31.54%            x163 D 102012 102011     45
 102662 95090       47.5391   133       44.0000       57.8673  9673079   31.52%            x136 D 102662 102661     48
 103312 95684       52.8745   154       44.0000       57.8599  9716042   31.50%            x199 D 103312 103311     30
 103957 96277       46.0061   124       44.0000       57.8474  9758474   31.47%             x63 D 103957 103956     62
Elapsed time = 4699.28 sec. (6018375.10 ticks, tree = 2125.26 MB, solutions = 6)
Nodefile size = 1998.11 MB (1593.05 MB after compression)
 104591 96855       45.9314   123       44.0000       57.8415  9801179   31.46%             x66 D 104591 104590     59
 105240 97444       54.7927   166       44.0000       57.8333  9843595   31.44%            x126 D 105240 105239     20
 105892 98044       47.0673   132       44.0000       57.8247  9885723   31.42%            x161 D 105892 105891     73
 106528 98624       53.7562   161       44.0000       57.8125  9927015   31.39%            x147 D 106528 106527     29
 107168 99212       51.9717   141       44.0000       57.8060  9970540   31.38%            x136 D 107168 107167     40
 107817 99805       53.6889   159       44.0000       57.7993 10013624   31.36%             x96 D 107817 107816     29
 108462 100394       54.3538   164       44.0000       57.7879 10056410   31.34%             x23 U 108462  31532     33
 109081 100961       54.0999   157       44.0000       57.7769 10100142   31.31%             x58 D 109081 109080     19
 109721 101549       49.4643   129       44.0000       57.7686 10141963   31.29%            x149 D 109721 109720     42
 110386 102156       51.0076   145       44.0000       57.7606 10184039   31.27%            x229 D 110386 110385     37
Elapsed time = 4853.86 sec. (6171126.36 ticks, tree = 2360.11 MB, solutions = 6)
Nodefile size = 2232.75 MB (1783.34 MB after compression)
 111030 102748       47.6934   131       44.0000       57.7481 10226733   31.25%             x47 D 111030 111029     66
 111675 103337       53.3734   161       44.0000       57.7395 10269233   31.23%             x29 D 111675 111674     26
 112321 103927       52.8345   159       44.0000       57.7303 10312473   31.21%            x228 D 112321 112320     35
 112940 104494       47.3249   130       44.0000       57.7206 10356194   31.18%            x139 D 112940 112939     59
 113573 105067       52.2937   154       44.0000       57.7116 10399589   31.16%             x39 D 113573 113572     27
 114229 105671       45.1111   101       44.0000       57.7050 10441692   31.15%            x116 D 114229 114228     77
 114890 106274       46.6429   119       44.0000       57.6927 10483929   31.12%            x158 D 114890 114889     57
 115528 106856       47.7256   133       44.0000       57.6817 10527191   31.09%            x234 D 115528 115527     56
 116170 107442       53.7975   159       44.0000       57.6705 10568752   31.07%             x54 D 116170 116169     37
 116819 108035       53.5391   155       44.0000       57.6598 10612132   31.04%            x246 U 116819  13250     16
Elapsed time = 5007.26 sec. (6323937.90 ticks, tree = 2589.78 MB, solutions = 6)
Nodefile size = 2462.00 MB (1969.04 MB after compression)
 117438 108602       53.4487   159       44.0000       57.6531 10655450   31.03%             x27 U 117438   3104     20
 118104 109212       51.6037   143       44.0000       57.6434 10697100   31.01%            x130 D 118104 118103     27
 118758 109810       50.4006   128       44.0000       57.6365 10739892   30.99%             x97 D 118758 118757     36
 119408 110404       51.4072   153       44.0000       57.6278 10781927   30.97%            x244 D 119408 119407     51
 120044 110984       52.9123   154       44.0000       57.6212 10824221   30.96%             x35 D 120044 120043     41
 120690 111574       52.5329   155       44.0000       57.6106 10867837   30.93%              x9 D 120690 120689     39
 121314 112146       49.5358   140       44.0000       57.6038 10909832   30.92%            x103 D 121314 121313     58
 121967 112741       49.4460   145       44.0000       57.5967 10952360   30.90%            x137 D 121967 121966     40
 122609 113327       50.1332   138       44.0000       57.5868 10994572   30.88%             x11 D 122609 122608     45
 123257 113919       50.3282   150       44.0000       57.5787 11036203   30.86%             x34 D 123257 123256     67
Elapsed time = 5157.33 sec. (6476701.76 ticks, tree = 2813.75 MB, solutions = 6)
Nodefile size = 2686.04 MB (2149.35 MB after compression)
 123907 114513       54.0842   165       44.0000       57.5661 11078466   30.83%            x224 U 123907  31133     28

User cuts applied:  2850

Root node processing (before b&c):
  Real time             =   60.51 sec. (80389.28 ticks)
Sequential b&c:
  Real time             = 5123.15 sec. (6423372.65 ticks)
                          ------------
Total (root+branch&cut) = 5183.65 sec. (6503761.93 ticks)
